Members

Professors

Avatar

Gabriel Coutinho

Assistant Professor

Spectral graph theory, Semidefinite optimization, Quantum computing, Mathematical programming applied to geosciences

Avatar

Guilherme de C. M. Gomes

Assistant Professor

Algorithm Development and Analysis, Parametrized Complexity, Graph theory

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árcio Costa Santos

Assistant Professor

Combinatorial, Uncertainty, Robust Optimization, Operational Research, Graph Theory

Avatar

Mário 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

Vinícius Santos

Assistant Professor

Algorithms, Parameterized Complexity, Structural Graph Theory, Graph Classes, Combinatorial Games

PhD Students

Avatar

Rodrigo Chaves

PhD Student

Master Students

Avatar

Bruno Andreotti

Master Student

Avatar

Bruno Nogueira

Master Student

Avatar

Danilo Vomlel

Master Student

Avatar

Flávia Simões

Master Student

Avatar

Sabrina Torres

Master Student

Avatar

Sarah Luiz

Master Student

Avatar

Tomaz Gomes

Master Student

Undergraduate Students

Avatar

Alan Cabral

Undergraduate Student

Avatar

Artur Gaspar da Silva

Undergraduate Student

Avatar

Emanuel Juliano

Undergraduate Student

Avatar

Gabriel Nunes Mendes

Undergraduate Student

Avatar

Heitor Henrique dos Santos

Undergraduate Student

Avatar

Henrique Assunção

Undergraduate Student

Avatar

Igor Lemes

Undergraduate Student

Avatar

Kaio Masse

Undergraduate Student

Avatar

Melissa Teixeira F. dos Reis

Undergraduate Student

Avatar

Pedro Cipriano

Undergraduate Student

Avatar

Vinícius Braga Freire

Undergraduate Student

Avatar

Vitor Marques

Undergraduate Student