Biography
Interests
- Programming Languages
- Formal Methods and Verification of Programs
- Static Program Analysis
- Functional Programming
Education
-
PhD in Computer Science and Engineering, ongoing
University of Beira Interior, Portugal
-
MSc in Computer Science and Engineering, 2018
University of Beira Interior, Portugal
-
BSc in Computer Science and Engineering, 2015
University of Beira Interior, Portugal