Henrique Botelho Guerra is a PhD student at IST, University of Lisbon, and INESC-ID, working on dependent type systems and proof assistants. For more details, see his homepage.

Interests
  • Programming Languages
  • Type Systems
  • Proof Assistants
Education

  • PhD in Computer Science and Engineering, ongoing

    IST, University of Lisbon

  • MEng in Computer Science and Engineering, 2023

    IST, University of Lisbon

  • BSc in Computer Science and Engineering, 2020

    IST, University of Lisbon