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
- 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