Hugo Torres Vieira is an assistant professor at IMT Lucca since October 2014, working in the SysMA research unit. Vieira was born in Lisbon in 1979 where he started his academic career. He graduated in Computer Science Engineering at the New University of Lisbon in 2002 and received his PhD in Computer Science also from the New University of Lisbon in 2010. From 2010 up to 2014 he served as an assistant professor at the New University of Lisbon and at the University of Lisbon. His research interests include programming language approaches for concurrent distributed systems, in particular rigorous software verification techniques. Vieira adds to his teaching interests fundamental programming methodologies and algorithms.
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.
DBLP, Google Scholar, ISI researcherID and Scopus