Gabriel Poesia

Postdoc, Kempner Institute, Harvard University

  • Joined May 2021

Names

Gabriel Poesia (Preferred)

Emails

****@stanford.edu (Confirmed)
,
****@fas.harvard.edu (Confirmed)

Personal Links

Career & Education History

Postdoc
Kempner Institute, Harvard University (fas.harvard.edu)
2025 – Present
 
PhD student
Stanford University (stanford.edu)
2019 – 2025
 
MS student
Universidade Federal de Minas Gerais (ufmg.br)
2015 – 2017
 
Undergrad student
Universidade Federal de Minas Gerais (ufmg.br)
2011 – 2015
 

Advisors, Relations & Conflicts

Coauthor
Present
 
Postdoc Advisor
2025 – Present
 
PhD Advisor
2019 – 2025
 
Coauthor
Fernando Magno
2015 – 2017
 

Expertise

formal mathematics
Present
 
intrinsic motivation
Present
 
large language models
Present
 
program verification
Present
 
artificial intelligence
2018 – Present
 
program synthesis
2015 – Present