Eduardo Bonelli‎ > ‎

Mentoring

Current PhD students

  • Pablo Barenbaum, Optimal reduction for the Linear Substitution Calculus, CONICET and Depto. de Computación, FCEyN, UBA
  • Andrés Viso, Static types for pattern calculiCONICET and Depto. de Computación, FCEyN, UBA. 

Former PhD students

Former masters students

  • Enrique Molinari, Secure compilation of programs, Fac. de Informática, UNLP, 2010. (Maestría en Ingeniería de Software)
  • Pablo Barenbaum, Superdevelopments of the Weak Lambda Calculus, Depto. de Computación, FCEyN, UBA, 2010. (Tesis de licenciatura)
  • Federico Feller, Logic of Proofs for Certification of Mobile Code, Fac. de Informática, UNLP, 2009. (Tesis de licenciatura)
  • Gabriel Videla, Vulnerability analysis in web applications based on information flow-analysis, Fac. de Informática, UNLP, 2009. (Tesis de licenciatura).