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
imtlucca.it, hugotvieira@

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 immediate 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.


Publications

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


Events

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)
SOFT-PT INFORUM’14
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.


Links

Tools

SLMC
ProPi

Projects

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)

Miscellanea

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