Person. Carlos José Pereira de Lucena PhD advisorGerald Estrin PhD studentsLeonardo de Moura PhDUniversity of California, Los Angeles