Assistant Professor at the Department of Computer Science at the University of Chile. PhD in Computer Science, Polytechnic University of Madrid, Spain. His areas of interest are program semantics and verification, with particular application to language-based security (and privacy).

Federico Olmedo’s web page: https://users.dcc.uchile.cl/~folmedo/