I am currently Assistant Professor at the department of Computer Science group Science and Technology of Programming Section (CTP) of UNL (Universidade Nova de Lisboa ).
Researcher at CITI (Centro de Informatica e Tecnologias de Informacao) since Jan. 2006
Invited Professor for the winter semester 2007/2008 at University of Geneva (working with the SMV group headed by the Prof. Doctor. Didier Buchs).
Elected Coordinator at the regional level of the Software Engineers Association at Ordem dos Engenheiros.
Research goals: derive tools & dedicated formalisms for modeling 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, optimize, and automatically derive code from models specified by the domain experts.
Additional goal: derive a consistent, but practical methodology for the complete DSL Engineering life-cycle.
Research Team: http://solar.di.fct.unl.pt
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