Welcome to my personal home page

I am a Full Professor at the Department of Computer Science (InCo, Instituto de Computación) at Facultad de Ingeniería, Universidad de la República. 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) of InCo.

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.

Automated knowledge discovery for enhancing systems security.

Certified program construction using Type Theory and proof assistants.

My photo