projects

(ordered by reverse completion date)

confident _ communication contracts for distributed systems development. PTDC/EEI-CTP/4503/2014, from May 2016 to April 2019 | Principal Investigator

betty _ behavioural types for reliable large-scale software systems. COST Action IC1201, from October 2012

liveness, statically. PTDC/EIA-CCO/117513/2010, from March 2012 to March 2014

advanced type systems for multicore programming. PTDC/EIA-CCO/122547/2010, from January 2012 to June 2014 | Principal Investigator

certified interfaces for integrity and security in extensible web-based applications. CMU-PT/NGN/0044/2008, from May 2009 to December 2012

quest for reliability in generic software components. PTDC/EIA-EIA/103103/2008, from January 2010 to July 2013

assertion types for object-oriented programming. PTDC/EIA-CCO/105359/2008, from January 2010 to June 2012 | Principal Investigator

sensoria _ software engineering for service-oriented overlay computers. Information Society Technologies, Future and Emerging Technologies, Global Computing, IST-2005-016004, from September 2005 to February 2010 | Site leader

language design for web services. Treaty of Windsor Anglo-Portuguese Joint Research Programme, from May 2008 to April 2009 | Site leader

cams _ context aware mobile systems. Grices, Procº 4.1.1 Poland, from January 2007 to December 2007.

space-time-types _ behavioural and spatial type systems. POSI/EIA/55582/2004, from March 2005 to February 2008

communication protocols in session types. Treaty of Windsor Anglo-Portuguese Joint Research Programme, B29/05, from January 2005 to December 2005

contract guided system development. POSI/CHS/48015/2002, from June 2004 to November 2006 | Principal Investigator

mikado _ mobile calculi based on domains. Information Society Technologies, Future and Emerging Technologies, Global Computing, IST-2001-32222, from January 2002 to April 2005 | Site leader

mimo _ models and infra-structures for mobile computing. POSI/CHS/39789/2001, from January 2002 to December 2004

typing the behavior of corba objects. Acções Integradas Luso-Espanholas, E15/02, from January 2002 to December 2003 | Site leader

design and implementation of a distributed object based calculus. EPSRC, GR/S24510/01 from November 2002 to August 2003

typed programming languages for communicating object systems. Treaty of Windsor Anglo-Portuguese Joint Research Programme, B29/02, from January 2002 to December 2002 | Site leader

linear _ linear logic in computer science. Training and Mobility of Researchers, ERB4061PL97-0244, from May 1998 to October 2002

sémantique des objets concurrents. Coopération Scientifique et Technique Luso-Française, 263 J4, from January 1998 to December 2001 | Site leader

dicomo _ distribution, concurrency, mobility. PRAXIS/C/EEI/12059/1998, from November 1999 to October 2001 | Principal Investigator

dolphin _ a high-performance parallel computing environment. PRAXIS/2/2.1/TIT/1577/95, from January 1997 to December 1999

escola _ especificações executáveis e verificáveis de sistemas concorrentes: linguagens e aplicações. PRAXIS/2/2.1/MAT/46/94 from September 1995 to August 1998

high-level concurrent programming. Convénio de Cooperação ICCTI/The British Council, 423/BC, from January 1998 to December 1998 | Site leader

insuficiência cardíaca avançada. Comissão de Fomento da Investigação em Cuidados de Saúde, Ministério da Saúde, 163/97, from October 1997 to November 1998

coordination _ linguistic support for multiple cooperating agents. Esprit Basic Research Project, 9102, from July 1994 to December 1995 | Post doc