On this page we list the PhD Students that had prepeare their thesis under INFINIS and SINFIN.<\/p>\n\n\n\n
Pablo Barenbaum<\/strong> Andr\u00e9s Ezequiel Viso<\/strong> Nina Pardal<\/strong> Pablo Rotondo<\/strong> Nicol\u00e1s Alvarez<\/strong> Gabriel Senno<\/strong> Sergio Abriola<\/strong> Carlos Lombardi<\/strong> Pablo Ariel Heiber<\/strong> On this page we list the PhD Students that had prepeare their thesis under INFINIS and SINFIN. 2020 Pablo BarenbaumSubject: Lambda calculusThesis title: Dynamic semantics of calculi with explicit substitutions at a distanceFacultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. CONICET doctoral fellowship Date of defense: November 20, 2020Advisors: Eduardo Bonelli & Delia KesnerCurrent … Continue reading Former PhD Students<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1682","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/pages\/1682","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1682"}],"version-history":[{"count":11,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/pages\/1682\/revisions"}],"predecessor-version":[{"id":1704,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/pages\/1682\/revisions\/1704"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1682"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
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<\/em>
Date of defense: November 20, 2020
Advisors: Eduardo Bonelli & Delia Kesner
Current employment situation (updated 2021): CONICET Assistant Researcher, starting 2022. <\/p>\n\n\n\n
Subject: Lambda calculus
Thesis title: Un estudio sem\u00e1ntico sobre extensiones avanzadas del \u03bb-c\u00e1lculo: patrones y operadores de control.
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. CONICET doctoral fellowship<\/em>
Date of defense: July 22, 2020
Advisors: Eduardo Bonelli & Delia Kesner
Current employment situation (updated 2021): Postdoc at Software Heritage, France. <\/p>\n\n\n\n
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\u00e9 Sorbonne Paris Nord. CONICET doctoral fellowship.<\/em>
Date of defense: March 30, 2020
Advisors: Guillermo Dur\u00e1n & Mario Valencia-Pabon.
Current employment situation (updated 2021): CONICET Postdoctoral fellow.<\/p>\n\n\n\n2018<\/h2>\n\n\n\n
Subject: Number Theory, Probability and Word Combinatorics
Thesis title: Probabilistic studies in Number Theory and Word Combinatorics: instances of dynamical analysis
Universit\u00e9 de Paris (IRIF), Universidad de la Rep\u00fablica (Uruguay), and GREYC (Caen). Founded by ANR Dyna3S<\/em>
Date of defense: September 27, 2018
Advisors: Val\u00e9rie Berth\u00e9, Alfredo Viola et Brigitte Vall\u00e9e
Current employment situation (updated 2021): Ma\u00eetre de conf\u00e9rences en informatique at Universit\u00e9 Gustave Eiffel (LIGM).<\/p>\n\n\n\n2017<\/h2>\n\n\n\n
Subject: Randomness for infinite sequences
Thesis title: Finite state randomness
Universidad Nacional del Sur. CONICET doctoral fellowship<\/em>
Date of defense: November 6, 2017
Advisors: Ver\u00f3nica Becher & Pablo Fillottrani
Current employment situation (updated 2021): CONICET Assistant Researcher, starting 2022. <\/p>\n\n\n\n
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<\/em>
Date of defense: April 27, 2017
Advisors: Santiago Figueira & Ariel Bendersky
Current employment situation (updated 2021): Postdoc at ICFO, Barcelona, Spain.<\/p>\n\n\n\n
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<\/em>
Date of defense: March 31, 2017
Advisor: Santiago Figueira
Current employment situation (updated 2021): CONICET Assistant Researcher and JTP at UBA.<\/p>\n\n\n\n2014<\/h2>\n\n\n\n
Subject: Lambda calculus
Thesis title: Espaces de r\u00e9ductions dans les syst\u00e8mes de r\u00e9\u00e9criture non-s\u00e9quentiels et les syst\u00e8mes de r\u00e9\u00e9criture infinitaires
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires & Universit\u00e9 Paris-Diderot<\/em>
Date of defense: November 7, 2014
Advisors: Alejandro R\u00edos & Delia Kesner
Current employment situation (updated 2021): Professor at UNaHur and Senior Developer at Mediatica S.p.A. <\/p>\n\n\n\n
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<\/em>
Date of defense: March 17, 2014
Advisor: Ver\u00f3nica Becher
Current employment situation (updated 2021): Google, Research, California, USA.<\/p>\n","protected":false},"excerpt":{"rendered":"