Flávio Leonardo Cavalcanti de Moura

Possui graduação em Bacharelado e Licenciatura em Matemática pela Universidade de Brasília (1998), mestrado em Matemática pela Universidade de Brasília (2002), doutorado em Teoria da Computação (Sanduíche) - Heriot-Watt University (2005), doutorado em Matemática pela Universidade de Brasília (2006) e pós-doutorado na Université Paris Diderot (Paris 7) (2011). Atualmente é professor associado da Universidade de Brasília. Tem experiência na área de Matemática, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: cálculo lambda, substituições explícitas e unificação de ordem superior.

bachelor's at Licenciatura e Bacharelado em Matemática from Universidade de Brasília (1998), master's at Mathematics from Universidade de Brasília (2002), doctorate at Mathematics from Universidade de Brasília (2006) and doctorate at Teoria da Computação (Sanduíche) from Heriot-Watt University (2005). Has experience in Mathematics, acting on the following subjects: coq, lambda calculus, explicit substitutions, verificação formal and substituições explícitas.