Quick CV

Education:

• PhD in Logic (Proof Theory) – 2011 ~ 2014
  Vienna University of Technology – Vienna, Austria
  Cut-elimination by resolution in intuitionistic logic (thesis)
  Adviser: Alexander Leitsch
• MSc in Logic (Proof Theory) – 2009 ~ 2010
  Federal University of Minas Gerais (UFMG) – Belo Horizonte, Brazil
  Specification of systems using linear logic with subexponentials (in Portuguese)
  Adviser: Elaine Pimentel
• BSc in Computer Science – 2004 ~ 2008
  Federal University of Minas Gerais (UFMG) – Belo Horizonte, Brazil

Work:

• Computer Science at Carnegie Mellon University – Qatar Campus
  • Area Head for Computer Science – 2023 ~today
  • Associate professor – 07/2022 ~today
  • Associate Area Head for Computer Science – 2022 ~ 2023
  • Assistant professor – 07/2016 ~ 07/2022
    
• Post-doc researcher (Paris, France) – 11/2014 ~ 07/2016
  Parsifal team, Inria & LIX/École polytechnique
  Funded by Dale Miller’s ERC grant ProofCert
• Teacher assistant at École polytechnique (Paris, France) – 01/2016 ~ 03/2016
  Concurrent and distributed programming (INF431)
• Project assistant at Vienna University of Technology (Vienna, Austria) – 03/2011 ~ 10/2014
  GAPT: Generic Architecture for Proof Transformations
  Scala, Maven, sbt
• gnome developer (Google Summer of Code) – 05/2014 ~ 08/2014
  Evince: improvement of text annotations and implementation of text markup annotations
  C, gtk, jhbuild
• Infosys, InStep internship program (Bangalore, India) – 12/2010 ~ 03/2011
  Web-based tool for developing interface templates of mobile apps
  Javascript and JQueryUI
• Teacher, UNA (Belo Horizonte, Brazil) – 03/2010 ~ 11/2010
  Introduction to programming and Algorithms and data structures
  Bachelor’s degree on Information Sciences and Engineering (1st and 2nd year)
• Teacher assistant, DCC/UFMG (Belo Horizonte, Brazil) – 2009 ~ 2010
  Java programming and data structures (specialization in Informatics)
  Artificial Intelligence (Bachelor’s degree)
• Inovar Systems intern (Belo Horizonte, Brazil) – 10/2008 ~ 03/2009
  Development and support for employment website
  C# and asp.net
• Undergraduate researcher, DCC/UFMG (Belo Horizonte, Brazil) – 01/2008 ~ 12/2008
  Logics and proof theory
  Supervisor: Elaine Pimentel
• Concert Technologies intern (Belo Horizonte, Brazil) – 09/2007 ~ 09/2008
  Development of a visualization tool for a city’s power grid
  Java, MySQL and XML
• Big Sky Resort front desk clerk (Montana, USA) – 12/2006 ~ 03/2007
  Work and travel exchange program
• Undergraduate researcher, DCC/UFMG (Belo Horizonte, Brazil) – 09/2005 ~ 10/2006
  Data-mining and human-computer interaction (Java, JSP, Javascript, Apache, CSS)
  Supervisor: Wagner Meira Júnior