Avatar

Mário S. Alvim

Assistant Professor

DCC/UFMG

Interests

  • Quantitative Information Flow
  • Privacy
  • Foundations of Computer Security
  • Formal Methods

Education

  • PhD in Computer Science, 2011

    LIX - École Polytechnique, France

  • MSc in Computer Science, 2008

    Universidade Federal de Minas Gerais (UFMG), Brazil

  • BSc in Computer Science, 2005

    Universidade Federal de Minas Gerais (UFMG), Brazil