Vasco Amaral

Associate Professor

Software Systems

Country: Portugal

Affiliation: Faculdade de Ciências e Tecnologia, UNL


Phone: +351 21 294 85 36

Vasco is currently an Associate Professor at the Department of Computer Science group Science and Technology of Programming Section (CTP) of UNL (Universidade Nova de Lisboa ). He was recently elected president of the College of Informatics Engineers at the Portuguese Order of Engineers He holds a PhD. from the University of Mannheim in Germany, and worked in the past as a software engineer on High Energy Physics Computing and Very Large Databases at CERN (Switzerland), DESY (Germany), and LIP (Portugal). Over the last years, he has worked on the general topic of Software Language Engineering, focused on the use of Model-Driven Engineering (MDE) approaches, at both the Foundation and Application levels and Modelling of Cyber-Physical Systems. Vasco's research is currently focused ultimately on the Quality of Software systems more specifically on the topics of Multi-paradigm Modeling for Cyber-Physical Systems, Verification, Model Composition and Transformations, and Multi-Paradigm Modeling, DSL Engineering approaches DSL Experimental Evaluation and MDE education. He was vice-chair of the MPM4CPS COST IC1404, and organiser of several events such as the DSM-TP Summer School, MPM and HuFaMo workshops at MODELS, PPPJ, QUATIC, INFORUM. He was a special issue Editor at Springer's SQJ ("Quality in Model-Driven Engineering" and "Human Factors in Modeling") and Elsevier's COMLAN ("Quality in Model-Driven Engineering"), and serves regularly as a reviewer for several journals ( SQJ, COLA, SoSym, JSS, ComSIS, among others), conferences (MODELS, IMT, SAC, COMPSAC, VLHCC, among others) and project proposals for the EU (COST). President of the Informatics College at the Portuguese Order of Engineers. Research goals: derive tools & dedicated formalisms for modelling specific software-intensive domains with conceptual notations, semantically well described, while dealing with families of software products. The purpose is to analyse system properties, verify, simulate, optimise, and automatically derive code from models specified by the domain experts. Currently, is interested in the particular topic of Modelling Cyber-Physical Systems and in the topic of deriving a consistent, but practical, methodology for the complete DSL Engineering life-cycle (that includes the often forgotten quality assessment). ACM Computing Classification System personal interest subjects: J.2 Physical Sciences and Engineering; F.3 Logics and meaning of programs; H.1 Models and Principles; H.2 Database Management Also See personal page: Or Faculty:

Project Highlights

  • No records found.