On this page we list the PhD Students that had prepeare their thesis under INFINIS and SINFIN.

2020

Pablo Barenbaum
Subject: Lambda calculus
Thesis title: Dynamic semantics of calculi with explicit substitutions at a distance
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.  CONICET doctoral fellowship
Date of defense: November 20, 2020
Advisors: Eduardo Bonelli & Delia Kesner
Current employment situation (updated 2021):  CONICET Assistant Researcher, starting 2022.

Andrés Ezequiel Viso
Subject: Lambda calculus
Thesis title: Un estudio semántico sobre extensiones avanzadas del λ-cálculo: patrones y operadores de control.
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.  CONICET doctoral fellowship
Date of defense: July 22, 2020
Advisors: Eduardo Bonelli & Delia Kesner
Current employment situation (updated 2021):  Postdoc at Software Heritage, France.

Nina Pardal
Subject: Graph theory
Thesis title: Structural characterization of some problems on circle and interval graphs. 
Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires – LIPN, Université Sorbonne Paris Nord. CONICET doctoral fellowship.
Date of defense: March 30, 2020
Advisors: Guillermo Durán & Mario Valencia-Pabon. 
Current employment situation (updated 2021):  CONICET Postdoctoral fellow.

2018

Pablo Rotondo
Subject:  Number Theory, Probability and Word Combinatorics
Thesis title: Probabilistic studies in Number Theory and Word Combinatorics: instances of dynamical analysis
Université de Paris (IRIF), Universidad de la República (Uruguay), and GREYC (Caen). Founded by ANR Dyna3S
Date of defense: September 27, 2018
Advisors: Valérie Berthé, Alfredo Viola et Brigitte Vallée
Current employment situation (updated 2021):  Maître de conférences en informatique at Université Gustave Eiffel (LIGM).

2017

Nicolás Alvarez
Subject:  Randomness for infinite sequences
Thesis title: Finite state randomness
Universidad Nacional del Sur. CONICET doctoral fellowship
Date of defense: November 6, 2017
Advisors: Verónica Becher & Pablo Fillottrani
Current employment situation (updated 2021):  CONICET Assistant Researcher, starting 2022.

Gabriel Senno
Subject: Quantum computing
Thesis title:  A computer-theoretical outlook on foundations of quantum information
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.  CONICET doctoral fellowship
Date of defense: April 27, 2017
Advisors: Santiago Figueira & Ariel Bendersky
Current employment situation (updated 2021): Postdoc at ICFO, Barcelona, Spain.

Sergio Abriola
Subject: Logic and computability theory
Thesis title: Model theory, proof theory, and computational aspects of logics for reasoning on data trees
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.  CONICET doctoral fellowship
Date of defense: March 31, 2017
Advisor: Santiago Figueira
Current employment situation (updated 2021): CONICET Assistant Researcher and JTP at UBA.

2014

Carlos Lombardi
Subject: Lambda calculus
Thesis title: Espaces de réductions dans les systèmes de réécriture non-séquentiels et les systèmes de réécriture infinitaires
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires & Université Paris-Diderot
Date of defense: November 7, 2014
Advisors: Alejandro Ríos & Delia Kesner
Current employment situation (updated 2021): Professor at UNaHur and Senior Developer at Mediatica S.p.A.

Pablo Ariel Heiber
Subject:  Randomness for infinite sequences
Thesis title:  A computational perspective on normal numbers
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.  CONICET doctoral fellowship
Date of defense: March 17, 2014
Advisor: Verónica Becher
Current employment situation (updated 2021):  Google, Research, California, USA.