Federico Olmedo

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