Quick CV

Education:

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