Marcelo Bezerra d'Amorim

Marcelo obtained his PhD from the University of Illinois at Urbana-Champaign in 2007 and his masters and bachelors degrees from the Federal University of Pernambuco in 2001 and 1997, respectively. Marcelo's work lies in the intersection between Software Engineering and Programming Languages. He is interested in preventing, finding, diagnosing, and repairing software bugs and vulnerabilities.

Marcelo obteve seu doutorado pela Universidade de Illinois em Urbana-Champaign, Estados Unidos (2007), e obteve seu mestrado (2001) e graduação (1997) em Ciência da Computação pela Universidade Federal de Pernambuco. Foi pesquisador visitante da Georgia Tech no período de Julho de 2015 a Junho de 2016. Sua área de pesquisa é Engenharia de Software, com foco em Verificação e Validação de Software. Seu interesse central de pesquisa é encontrar, diagnosticar, e reparar erros e vulnerabilidades em software.