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.
Manuel Barros
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
