Bolsista de produtividade em pesquisa PQ/CNPq nível 1C. Possui Pós-doutorado pela Brown University (2013) e pela Universidade Estadual de Campinas (2006). Doutorado em Engenharia de Sistemas e Computação pela COPPE/Universidade Federal do Rio de Janeiro (2002) com período de doutorado-sanduíche pela Université Joseph Fourier (2000). Mestrado em Engenharia de Sistemas e Computação pela COPPE/Universidade Federal do Rio de Janeiro (1998) e Graduação em Matemática pela Universidade Federal do Rio de Janeiro (1994).