adiazcaro

Roles

authenticated user

Reason for registering

I am "Investigador Asistente" (Tenured Researcher / Charché de Recherche) at CONICET in the ICC (FCEN-Universidad de Buenos Aires) and "Profesor Adjunto" (Tenured Assistant Professor / Maître de Conférences) at Universidad Nacional de Quilmes. I am part of the LoReL team, and also of the LDPL team of the Laboratoire International Associé SINFIN. From January to July 2016 I was a visiting researcher at Universià degli Studi di Torino in the Dipartimento di Informatica, funded by a "World Wide Style Project". From October 2012 to August 2014 I had a non-tenured teaching and research position (ATER) at Université Paris Ouest Nanterre La Défense, in the Département de Mathématique et d'Informatique and I was an associated member of the Deducteam team at INRIA Paris-Rocquencourt. Before that, I did a postdoc from October 2011 to September 2012 at Université Paris 13, the LIPN laboratory, within the LCR team. Even before that, between October 2008 and September 2011, I prepared my PhD thesis within the CAPP team at the LIG Laboratory of the Université de Grenoble, with Pablo Arrighi as advisor and Frédéric Prost as co-advisor. The thesis defense happened on September 23, 2011. You can download my thesis “Du typage vectoriel”, as well as the slides used during the presentation, and even a video, in the publications section bellow. In the pre-history I graduated in Computer Science from the Universidad Nacional de Rosario, Argentina in December 2007.