Lehilton Lelis Chaves Pedrosa

I am an associate professor at IC.

Instituto de Computação
Universidade Estadual de Campinas
Av. Albert Einstein, 1251, sala 12
13083-852, Campinas-SP


Short bio

I graduated at the University of Brasília, and obtained Masters and PhD degrees at the Institute of Computing (IC) of the University of Campinas in 2014. I was a visitor researcher at DIMAP, in the University of Warwick in 2013, and worked as a post-doc at the Institute of Mathematics and Statistics of the University of São Paulo in 2015.


Curriculum Lattes

Teaching, Publications, Students, DBLP, LOCo, Curso Exato

Informação pera interessados em orientação

Research interests

Other interests


Previous semesters

List of publications

Published articles


Textbook chapter

Published articles

Papers in conference proceedings

Extended abstracts in conference proceedings


Technical reports

Current students

PhD students

Master’s students

Former students

PhD students

Master’s students