Esteban Pavese’s 6 Contacts
Order by first name | Order by last name-
Fulltime Professor, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos AiresBuenos Aires, ArgentinaDiscipline:Software Engineering,Interests:program analysis with focus in resource usage and verification of Java like programs, program understanding and validation.
-
Ph.D. student, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos AiresBuenos Aires, ArgentinaDiscipline:Interests:Formal aspects of software engineering: contract validation, software verification, program analysis, programming languages design, type theory and model checking.



