CITI - Member - João Costa Seco

CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home \ Members \ Member Page

João Costa Seco
Software Systems Country: Portugal Position: Assistant Professor Email: joao.seco(at)fct.unl.pt Phone: ext. 10752 Personal Web Page	Research Projects (9) Publications (31) Seminars (3) External Talks (4) Graduation Activities (11) Organization of Events (2) Prototypes (8)

{ Post-Graduations }

Languages and Types for Component Oriented Programming
(Phd) - [ 1 Jan 2000 to 13 Oct 2006 ]

( as supervisor )

Data queries over heterogeneous sources
(MSc) - Nuno Grade (CITI) - [ 1 Mar 2012 to 1 Mar 2013 ]
Integrated Data model and DSL modifications
(MSc) - Miguel Alves (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 1 Mar 2012 to 1 Mar 2013 ]
Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs
(MSc) - Sérgio Silva (Departamento de Informática FCT/UNL) - [ 10 Dec 2012 ]
Information Flow Analysis using Data-dependent Logical Propositions
(MSc) - Paulo Jorge Abreu Duarte Ferreira (Departamento de Informática FCT/UNL) - [ 6 Nov 2012 ]
Core Language for Web Applications
(MSc) - Miguel Domingues - [ 27 Oct 2010 ]
Profiling de Aplicações em ambientes de produção
(MSc) - Hugo Menino Aguiar (Departamento de Informática FCT/UNL) - [ 16 Sep 2010 ]
Core Language for Web Applications
(MSc) - Miguel Domingues - [ 1 Sep 2009 to 20 Jul 2010 ]
Extension of the type system of ComponentJ with dynamic reconfiguration
(MSc) - Margarida Piriquito (Onera) - [ 1 Sep 2007 to 30 Sep 2008 ]

( as jury )

Maintaining the Correctness of Transactional Memory Programs
(Phd) - Ricardo Dias - [ 25 Nov 2013 ]
DACA: Architecture to Implement Dynamic Access Control Mechanisms on Business Tier Components
(Phd) - Óscar Pereira (Universidade de Aveiro) - [ 15 Jul 2013 ]