Programação inteira mais rápida via achatamento de subespaços – Victor Reis

O recifense Victor Reis é um ex-olímpico, reconhecido por suas conquistas na Olimpíada Internacional de Matemática em 2013 (medalha de prata) e em 2014 (medalha de bronze).

Atualmente, Victor é um pesquisador em pós-doutorado no grupo CSDM (Ciência da Computação e Matemática Discreta) no Instituto de Estudos Avançados em Princeton, nos Estados Unidos.

Ele completou seu doutorado em 2023 na Universidade de Washington (UW) com a tese “Vector Balancing and Integer Programming”. Victor e seu orientador, Thomas Rothvoss, dedicam-se à pesquisa em Programação Linear Inteira (PLI). Em 2023, o artigo “The Subspace Flatness Conjecture and Faster Integer Programming”, publicado por eles, combina ferramentas geométricas para restringir as soluções possíveis e resultou na criação de um novo e mais rápido algoritmo para resolver PLI, quase simultaneamente ao caso binário trivial. Esses avanços representaram a primeira grande melhoria nos algoritmos solucionadores de PLI em quase 40 anos, e o artigo foi agraciado com o prêmio de melhor artigo na conferência Foundations of Computer Science de 2023. Seu trabalho também foi destacado na revista Quanta Magazine: “Researchers Approach New Speed Limit for Seminal Problem”.

Antes de ingressar na UW, Victor obteve seu Bacharelado em Matemática e Ciência da Computação em Cornell, onde também atuou como líder de equipe e treinador do clube de programação.

Os interesses de pesquisa de Victor abrangem o design de algoritmos para problemas em otimização combinatória, utilizando ferramentas de probabilidade, geometria convexa e teoria de discrepância.