Henrique Botelho Guerra
PhD Student - Computer Science - 2nd year
Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal INESC-ID, Lisbon, Portugal NOVA LINCS, Lisbon, Portugal
PhD Student - Computer Science - 2nd year
Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal INESC-ID, Lisbon, Portugal NOVA LINCS, Lisbon, PortugalPh.D. student in Instituto Superior Técnico, Lisbon, Portugal, advised by João F. Ferreira and João Costa Seco. I develop my research in INESC-ID, Lisbon, Portugal, and NOVA LINCS, Lisbon, Portugal. I am interested in programming languages and type systems. Currently working on dependent types and proof assistants.
In my M.Sc. I worked on the synthesis of Haskell programs, which resulted in a paper.
Recently I was a student volunteer at ECOOP'23, Washington University, Seattle, USA and OOPSLA'23, Lisbon, Portugal. I participated in OPLSS'24, Boston University, Boston, USA.
To find out more, you can check my CV as of October 2024.
