João Costa Seco
Visiting Scholar at Carnegie Mellon University (Fall 2012)
Assistant Professor at the Computer Science Department of the FCT/Universidade Nova de Lisboa.
Researcher at the CITI (Center of Computer Science and Information Technology).
Member of the PLASTIC Research Team
Member of ICTI (CMU-Portugal).
Visiting Scholar at Carnegie Mellon University (Fall 2012)
Assistant Professor at the Computer Science Department of the FCT/Universidade Nova de Lisboa.
Researcher at the CITI (Center of Computer Science and Information Technology).
Member of the PLASTIC Research Team
Member of ICTI (CMU-Portugal).
e-mail: Joao.Seco@di.fct.unl.pt
Office: p2/13, Ed II (Mon 14:00-15:00)
Phone: +351212948536 (ext. 10752)
Fax: +351212948541
Office: p2/13, Ed II (Mon 14:00-15:00)
Phone: +351212948536 (ext. 10752)
Fax: +351212948541
This page is under reconstruction, some links may be broken and are slowly getting fixed.
Research interests
Programming Languages and Type Systems.
Spatial-Behavioural Type Logics and Type Systems.
Modularity / Reconfiguration / Component Programming Languages.
Concurrency and Interference control.
ACM Topics
D. Software
D.3 PROGRAMMING LANGUAGES
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
Researcher Id: D-2035-2010
Participation in Projects
Certified Interfaces (Carnegie Mellon|Portugal NGN44-2009-2012) Running.
Flex-Agile (with OutSystems - Aug 2008 - ... ) Running.
StreamLine (PTDC/EIA-CCO/104583/2008 - 2010-2012) Running, 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)
Member of Conference Organizing Committee
ICALP'05
Concur'07
DisCoTec'09
Programming Languages and Type Systems.
Spatial-Behavioural Type Logics and Type Systems.
Modularity / Reconfiguration / Component Programming Languages.
Concurrency and Interference control.
ACM Topics
D. Software
D.3 PROGRAMMING LANGUAGES
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
Researcher Id: D-2035-2010
Participation in Projects
Certified Interfaces (Carnegie Mellon|Portugal NGN44-2009-2012) Running.
Flex-Agile (with OutSystems - Aug 2008 - ... ) Running.
StreamLine (PTDC/EIA-CCO/104583/2008 - 2010-2012) Running, 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)
Member of Conference Organizing Committee
ICALP'05
Concur'07
DisCoTec'09
Teaching Activities / Ensino:
BSc (1º Ciclo)
Estágio Profissionalizante
Projecto Integrador
Interpretação e Compilação de Linguagens
Linguagens e Ambientes de Programação
MSc (2º Ciclo)
Software Systems Construction and Analysis
Phd (3º Ciclo)
Foundations of Programming Languages
(Past teaching activities)
Students:
Miguel Lourenço (MSc) running
Sérgio Silva (MSc) running
Paulo Ferreira (MSc) running
Nuno Parreira (MSc) concluded 2011
Hugo Aguiar (MSc at OutSystems) concluded 2010
Miguel Domingues (MSc) concluded 2010
Paulo Ferreira (UROP scholarship supervision) concluded 2010
Miguel Lourenço (MSc ROPES scholarship) concluded 2010
Margarida Piriquito (MSc) concluded, 2008
Ricardo Silva (BSc (5y)) concluded, 2007
Tiago Pais (BSc (5y)) concluded, 2006
Reaching activities
ExpoFCT (2007/2008/2009)
ForumFCT
BSc (1º Ciclo)
Estágio Profissionalizante
Projecto Integrador
Interpretação e Compilação de Linguagens
Linguagens e Ambientes de Programação
MSc (2º Ciclo)
Software Systems Construction and Analysis
Phd (3º Ciclo)
Foundations of Programming Languages
(Past teaching activities)
Students:
Miguel Lourenço (MSc) running
Sérgio Silva (MSc) running
Paulo Ferreira (MSc) running
Nuno Parreira (MSc) concluded 2011
Hugo Aguiar (MSc at OutSystems) concluded 2010
Miguel Domingues (MSc) concluded 2010
Paulo Ferreira (UROP scholarship supervision) concluded 2010
Miguel Lourenço (MSc ROPES scholarship) concluded 2010
Margarida Piriquito (MSc) concluded, 2008
Ricardo Silva (BSc (5y)) concluded, 2007
Tiago Pais (BSc (5y)) concluded, 2006
Reaching activities
ExpoFCT (2007/2008/2009)
ForumFCT