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.