Federico Olmedo

Assistant Professor  

PhD in Computer Science, Technical University of Madrid, Spain (2014). Bacherlor in Computer Science, National University of Rosario, Argentina (2008).

 

General área of research:

  • Programming languages

 

Lines of specialization:   

  • Program verification
  • Probabilistic programs 
  • Interactive theorem proving