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 154, Piazza San Francesco, 19 – 55100 Lucca (ITALY)
+39 058 343 265 90
imtlucca.it, 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.


Publications

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


Events

Service-Oriented Architectures and Programming track – SOAP @ ACM/SIGAPP SAC’18
Software Engineering and Science track – SOFT-PT @ INFORUM’17
Interaction and Concurrency Experience – ICE’17
Service-Oriented Architectures and Programming track – SOAP @ ACM/SIGAPP SAC’17
Trust, Security and Privacy in Computing and Communications – IEEE TrustCom’16
Interaction and Concurrency Experience – ICE’16
Service-Oriented Architectures and Programming track – SOAP @ ACM/SIGAPP SAC’16
Trust, Security and Privacy in Computing and Communications – IEEE TrustCom’15
Interaction and Concurrency Experience – ICE’15
Software Engineering and Science track – SOFT-PT @ INFORUM’14
Interaction and Concurrency Experience – ICE’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
Interaction and Concurrency Experience – ICE’11
Interaction and Concurrency Experience – ICE’10
Interaction and Concurrency Experience – ICE’09


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