Eduardo Zambon

Has a bachelor's degree in Computer Engineering and a master's degree in Computer Science, both obtained at the Federal University of Espírito Santo (UFES), Brazil, at the years of 2003 and 2006, respectively. In 2013, he obtained his PhD degree in Computer Science at the University of Twente, in the Netherlands. Currently, he is an Assistant Professor of Computer Science at the Federal University of Espírito Santo (UFES). His main research area is in formal methods, more specfically in graph transformation and system verification.

Possui graduação em Engenharia de Computação e mestrado em Ciência da Computação, ambos pela Universidade Federal do Espírito Santo (UFES), obtidos nos anos de 2003 e 2006, respectivamente. Em 2013, concluiu o doutorado em Ciência da Computação na Universidade de Twente, Holanda. Atuou por um ano e meio como professor do Departamento de Computação e Eletrônica (DCEL) do Centro Universitário Norte do Espírito Santo (CEUNES/UFES) e por um ano e meio como professor do Instituto Federal do Espírito Santo (IFES) - Campus Serra. Atualmente é professor do Departamento de Informática (DI) da Universidade Federal do Espírito Santo (UFES). Sua principal área de pesquisa é em métodos formais, mais especificamente em transformação de grafos e verificação de sistemas.