Academic background

Master of Science in Mathematics

• Title: Some Results on the Stability of Hypersurfaces with Constant Mean Curvature.

  • Area: Differential Geometry.

  • Advisor: Susana Cândida Fornari.

  • Institution:Department of Mathematics - UFMG

  • Year: 1993.

Ph.D. in Computer Science

• Title: Linear logic and the specification of computational systems.

  • Area: Logic applied to Computer Science.

  • Institution: Department of Computer Science - UFMG

  • Advisors: Dale Miller and Carlos Camarão de Figueiredo

  • Year: 2001.

Pos Docs

• Institution: Dipartimento di Informatica, Università degli Studi di Torino.

  • Area: Intersection Types, λ-calculus.

  • Working with: Simona Ronchi della Rocca, Luca Roversi, Luca Paolini.

  • Period: Jan, 2004 to Mar, 2005.

• Institution: TU-Wien.

  • Area: Proof Theory.

  • Working with: Agata Ciabattoni, Björn Lellmann, Revantha Ramanayake.

  • Year: Jan to Sep, 2018.

• Institution: LIX - École Polytechnique.

  • Area: Proof Theory.

  • Working with: Dale Miller.

  • Year: Oct to Dec, 2018.