Hugo Torres Vieira
Invited Assistant Professor at the
Computer Science Department
Faculty of Sciences and Technology
NOVA: New University of Lisbon
Member of CITI
Hugo Torres Vieira
Invited Assistant Professor at the
Computer Science Department
Faculty of Sciences and Technology
NOVA: New University of Lisbon
Member of
CITI
Research Statement
To provide tools and techniques that help in improving the design of reliable software,
through the development and study of models with a rigorously defined semantics
and of provably correct automatic analysis techniques.
Events
2nd, 3rd and 4th Interaction and Concurrency Experience - ICE'09, ICE'10 and ICE'11
Publications (DBLP, Google Scholar, ISI researcherID, Scopus)
Coauthors: (chronologically)
Luis Caires;
Ruben Viegas;
Emilio Tuosto;
Joao C. Seco;
David T. Sousa;
Carla Ferreira;
Ivan Lanese;
Antonio Ravara;
Gianluigi Zavattaro;
Massimo Bartoletti;
Franco Mazzanti;
Davide Sangiorgi;
Roberto Zunino;
Lucia Acciai;
Chiara Bodei;
Michele Boreale;
Roberto Bruni;
Jorge A. Perez;
Lucio Ferrao;
Pedro Baltazar;
Vasco T. Vasconcelos
Contacts
|
Address: Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Quinta da Torre, 2829-516 Caparica, Portugal |
Room: P2/39 Phone: (+351) 21 294 85 36 - Ext: 10766 Fax: (+351) 21 294 85 41 Email: fct.unl.pt, htv@ |
Links
Tools
Projects
INTERFACES (Carnegie-Mellon|Portugal NGN 44 - 2009-2012)
StreamLine (PTDC/EIA-CCO/104583/2008 - 2010-2012)
IP Sensoria (EU IST FP6 - 2005-2009)
FET Profundis (FET IST 2001-33100)
POLY (POSI 34398/2000)
Topics
Calculi for Mobile Processes (pi-calculus)
Teaching
2011/12
Second Term
Análise e Desenho de Algoritmos P2,P3
Programação Orientada pelos Objectos T1; P1
First Term
Algoritmos e Estruturas de Dados P1,P2,P5,P6
2010/11
Second Term
Análise e Desenho de Algoritmos P1,P2,P3
Programação Orientada pelos Objectos P3,P6
First Term
Algoritmos e Estruturas de Dados P1,P2,P7,P8
2007/08
Introdução à Programação A P1,P4,P5,P6
2006/07