Bio
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 

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

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
Researcher Id: D-2035-2010 

Projects
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