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

A Spatial Logic Model Checker

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

Spatial Logics

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

Algoritmos e Estruturas de Dados P7,P13