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