About us

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum posuere, neque quis ullamcorper consequat, felis eros bibendum libero, vel volutpat quam justo ac leo. Phasellus ut leo vel sem tristique iaculis non non velit. Maecenas quis consequat augue. Nulla blandit purus sed suscipit suscipit.

Faculty

Avatar

Gabriel Coutinho

Assistant Professor

Spectral Graph Theory, Quantum Information, Optimization problems, Semidefinite Programming, Equiangular Lines

Avatar

Haniel Barbosa

Assistant Professor

Formal Methods, Formal Verification, Program Synthesis, Automated Reasoning, Satisfiability Modulo Theories

Avatar

Jeroen van de Graaf

Associate Professor

Theoretical and Applied Cryptography, Unconditional Privacy, Quantum Cryptography, Election Technologies

Avatar

Mário S. Alvim

Assistant Professor

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

Avatar

Phablo F. S. Moura

Assistant Professor

Algorithms (Exact and Approximate), Combinatorial Optimization, Graph Theory, Polyhedral Combinatorics

Avatar

Vinicius Santos

Assistant Professor

Design and Analysis of Algorithms, Graph Theory, Discrete Optimization

Contact

  • trex [at] dcc.ufmg.br
  • +55 31 3409-1495 / +55 31 3409-5860
  • Av. Pres. Antônio Carlos, 6627, Belo Horizonte, MG 31270-901
  • Instituto de Ciências Exatas, Departamento de Ciência da Computação, Sala 4303
  • Weekdays 09:00 to 17:00 BRT