Close this search box.

Luiz Sá


Born in Brazil, I got a degree in Mechatronics Engineering at the University of Brasília (UnB). However, I enjoyed the Computer Science part more than the others, especially the more mathematical side, so I decided to pursue a Masters’s in Computer Science at UnB. I chose to apply for the CMU/Portugal Ph.D. as the next step in my academic career and was fortunately accepted.

Research topics:Type Systems – Session Types
Enrollment year: 2021
Thesis: H-Calculus: Session Types for Hardware Analysis and Verification
PT Supervisor: Bernardo Toninho
CMU Supervisor: Frank Pfenning