La tesis, titulada On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders, fue dirigida por el Dr. Álvaro Tasistro, catedrático de Teoría de la Computación y coordinador académico del Master en Ingeniería (por Investigación), y la Dra. Nora Szasz, coordinadora académica de Ingeniería en Sistemas.
El tribunal estuvo integrado por el Dr. Peter Dybjer, profesor de Ciencias de la Computación de Chalmers University of Technology, Suecia; el Dr. Gilles Barthe, profesor investigador del IMDEA Software Institute (Instituto Madrileño de Estudios Avanzados), España; y el Dr. Daniel Fridlender, profesor asociado de la Universidad Nacional de Córdoba, Argentina.
También lo integraron el Dr. Gustavo Betarte, profesor titular de la Facultad de Ingeniería de la Universidad de la República (Udelar), y el Dr. Marcos Viera, profesor adjunto de la Facultad de Ingeniería de la Udelar.
El Dr. Peter Dybjer y el Dr. Gilles Barthe participaron como revisores.