معرفی
Giselle Reis is an Associate Professor in the Department of Computer Science at Carnegie Mellon University-Qatar (CMU-Qatar), Doha, Qatar. She previously held positions as Assistant Professor (2016–2022) and Associate Area Head (2022–2023) at CMU-Qatar. Her academic journey includes a PhD in Logic (Proof Theory) from Vienna University of Technology (2014) and an MSc in Linear Logic with Subexponentials from Federal University of Minas Gerais (UFMG) (2010).
- Education:
- PhD: Logic (Proof Theory), Vienna University of Technology (2014)
- MSc: Logic (Subexponential Linear Logic), UFMG (2010)
- BSc: Computer Science, UFMG (2008)
Her research focuses on logic and proof theory in computer science, with applications in formal methods, programming languages, and theoretical foundations of AI. She has contributed to projects like the GAPT proof transformation system and Evince markup annotations during her Google Summer of Code internship. Her work has been supported by the ERC ProofCert grant (2014–2016) under Dale Miller.
- Key Roles:
- Post-doc researcher, Parsifal team (Inria & LIX/École polytechnique, Paris, 2014–2016)
- Project assistant, Vienna University of Technology (2011–2014)
- Teaching and research positions at UFMG, École polytechnique, and UNA (Belo Horizonte, Brazil)
