Assistant Professor at the Computer Science Department of the FCT/Universidade Nova de Lisboa.
Researcher at NOVA-LINCS (NOVA-Laboratory for Computer Science and Informatics).
(web page at NOVA-LINCS)
Member of the PLASTIC Research Team
Orcid | Researcher Id: D-2035-2010
Visiting Scolar at ITU Copenhagen (May June 2016)
Researcher at CITI (Center of Computer Science and Information Technology). (until 2014)
Visiting Scholar at Carnegie Mellon University (Fall 2012).
Member of ICTI (CMU-Portugal) (until 2013)
Office: p2/13, Ed II (Mon 14:00-15:00)
Phone: +351212948536 (ext. 10752)
Programming Languages and Type Systems.
Type based concurrency and aliasing control
Spatial-Behavioural Type Logics and Type Systems.
Modularity / Reconfiguration / Component Programming Languages.
If you are interested in following one of these topics, I'm interested in earing your ideas and working in collaboration or supervising new MSc or PhD students. Take a look at my latest papers in publications section and current students statements.
D.3 PROGRAMMING LANGUAGES
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
CLAY (PTDC/EEICTP/4293/2014 - 2016 - ...) Running.
Flex-Agile (with OutSystems - Aug 2008 - ... ) Running.
Certified Interfaces (Carnegie Mellon|Portugal NGN44-2009-2012) Closed.
StreamLine (PTDC/EIA-CCO/104583/2008 - 2010-2012) Closed, PI.
IP Sensoria (EU IST FP6 - 2005-2009) Closed.
ComponentGlue (Microsoft Research Grant 2002-73) Closed.
DataBricks (SAPIENS 33924/2000-2003) Closed.
LiveWeb (for Interfaces)
OOPS@SAC 2013 - 2016