Bio

Bio
Associate 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

MC Substitute: EUTypes COST Action IC15123 (EU website, website)
Member: BETTY COST Action IC1201 (EU website, website)

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)

Contacts:

e-mail: Joao.Seco@fct.unl.pt
Office: p2/13, Ed II (Mon 14:00-15:00)
Phone: +351212948536 (ext. 10752)
Fax: +351212948541

Research Interests
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. 

ACM Topics
D. Software
D.3 PROGRAMMING LANGUAGES
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS

Projects

CLAY (PTDC/EEI­CTP/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.

Prototypes
ComponentJ Compiler 
LiveWeb (for Interfaces)

Conference-Committee organization
ICALP'05
Concur'07 
DisCoTec'09

Program Commitees
OOPS@SAC 2013 - 2016
SOFT-PT@INForum