Manuel Barros

I have a Bachelor’s and a Master’s degree from the University of Minho. I am passionate about using formal methods for reasoning about distributed systems.

Research topics:Formal methods and distributed systems

Enrollment year: 2024

Research area: Software Engineering

Institution in Portugal: Universidade do Minho
CMU Department: Software and Societal Systems

PT Supervisor: José Orlando Pereira

CMU Supervisor: Eunsuk Kang