Hugo Torres Vieira

Member of Gloss, LaSIGE
Assistant Professor at the
Computer Science Department
Faculty of Sciences
University of Lisbon

Research Statement

To provide tools and techniques that help in improving the design of reliable software
and save on development costs, through the development and study of models with
a rigorously defined semantics and of provably correct automatic analysis techniques.
One goal for the future is to contribute to the development of techniques that support
the automatic generation of correct by construction code based on easier and faster
to write higher-level specifications.


Web Services and Formal Methods - WS-FM'14


7th Interaction and Concurrency Experience - ICE'14

MIUP 2013

Young Researchers Workshop On Concurrency Theory - YR-CONCUR'13

Web Services and Formal Methods - WS-FM'13

Programming Language Approaches to Concurrency and Communication-cEntric Software - PLACES'13

MIUP 2012

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; Luca Padovani


  Departamento de Informática
  Faculdade de Ciências
  Universidade de Lisboa
  Campo Grande,
  1749-016 Lisboa,
Room: 6.3.25

Ext:  26380
Phone: (+351) 217 500 395
Fax: (+351) 217 500 084

Email:, htv@



A Spatial Logic Model Checker


BETTY (COST Action IC1201)

Liveness, Statically (PTDC/EIA-CCO/117513/2010)

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)



Second Term

Programação II (LTIC) T, TP22, TP23, TP24

First Term

Design de Software T

Programação I (LTIC) TP11, TP14, TP15


Second Term

Algoritmos e Estruturas de Dados TP12, TP14

Elementos de Programação TP13, TP15, TP17

First Term

Design de Software T, TP

Introdução à Programação TP11, TP13