Hernan Czemerinski’s 4 Contacts
Order by first name | Order by last name-
Ph.D. student, Teaching assistant, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos AiresBuenos Aires, ArgentinaDiscipline:Software Engineering,
-
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.


