The title of the thesis is "On the Formalization of the Metatheory of Lambda Calculus and Languages with Binders." The thesis advisors are Dr. Álvaro Tasistro, professor of Computer Science and academic coordinator of the Master's in Engineering (Research Track), and Dr. Nora Szasz, academic coordinator of Systems Engineering.
The examination committee consisted of Dr. Peter Dybjer, professor of Computer Science at Chalmers University of Technology, Sweden; Dr. Gilles Barthe, research professor at the IMDEA Software Institute (Madrid Institute for Advanced Studies), Spain (reviewers); Dr. Daniel Fridlender, associate professor at the National University of Córdoba, Argentina; Dr. Gustavo Betarte, full professor at the Faculty of Engineering of the University of the Republic (Udelar); and Dr. Marcos Viera, assistant professor at the Faculty of Engineering of Udelar.