Mário S. Alvim

Mário S. Alvim

Assistant Professor (Tenured)

Department of Computer Science

UFMG

I am a professor of computer science at UFMG. My research interests include formal methods for responsible computing, with a special focus on the application of the framework of quantitative information flow (and some information–, decision–, and game-theory) to problems of privacy, security, transparency, fairness, and polarization.

Interests
  • Formal methods for responsible computing
  • Quantitative information flow
  • Security and privacy
  • Transparency, fairness, and polarization
Education
  • PhD in Computer Science

    École Polytechnique

  • MSc in Computer Science

    UFMG

  • BSc in Computer Science

    UFMG

Highlights

News

Science communication

Contact