Federico Olmedo

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