Welcome to my personal home page
I received a Ph.D. in Computing Science from the University of Gothenburg, in 1998. I am the research director of the Computer Security group (GSI, Grupo de Seguridad Informática) and a member of the Formal Methods group of the Department of Computer Science (InCo, Instituto de Computación) at Facultad de Ingeniería, Universidad de la República.
Since 1986 I have been a member of InCo. I was on leave working at Trusted Logic from April 2001 to October 2004.
Research interests
Formal modelling and verification of security architectures.
Certified program construction using Type Theory and proof assistants.
