Hugo Torres Vieira

About me

I am an assistant professor at IMT Lucca working in the SysMA research unit. Previously I was an assistant professor at the Faculty of Sciences of the University of Lisbon (old page), and before that I was an invited assistant professor at the Faculty of Sciences and Technology of the New University of Lisbon (even older page) where I also did my PhD in Computer Science, supervised by Luís Caires, and my BSc in Computer Science Engineering.

Homepage @ IMT
IMT School for Advanced Studies Lucca
Room 152, Piazza San Francesco, 19 – 55100 Lucca (ITALY)
+39 058 343 265 68, hugotvieira@

Research statement

Provide tools and techniques that help to improve the design of reliable software and save on development costs, relying on formal models and rigorous analysis techniques. One goal for the immediate future is the development of techniques that support the automatic generation of correct by construction code based on easier and faster to write higher-level specifications. Domain specific languages may be used to achieve this goal by providing specialized abstractions that reduce the development time and increase reliability via certified compilation techniques.


Via IMT Institutional Repository, DBLP, Google Scholar, ISI researcherID and Scopus


Interaction and Concurrency Experience (ICE’17)
Service-Oriented Architectures and Programming track (SOAP) @ 32nd ACM/SIGAPP Symposium On Applied Computing (SAC’17)
Interaction and Concurrency Experience (ICE’14, ICE’15 and ICE’16)
Service-Oriented Architectures and Programming track (SOAP) @ 31st ACM/SIGAPP Symposium On Applied Computing (SAC’16)
IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom’15 and TrustCom’16)
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)
2nd, 3rd and 4th Interaction and Concurrency Experience (ICE’09ICE’10 and ICE’11)

Coauthors (chronological order)

Emilio Tuosto; Luís Caires; Carla Ferreira; João C. Seco; Jorge A. Pérez; Lúcio Ferrão; Pedro Baltazar; Vasco T. Vasconcelos; Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Luca Padovani; Claudio Antares Mezzina; and Rocco De Nicola.





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)


Mathematics Genealogy Project
Erdös number (#4): Vieira::Ghilezan::Žunić::Ivić::Erdös