Carlos Diego Nascimento Damasceno

He holds a bachelor's degree in Computer Science at the Federal University of Pará (2014), a master's and doctorate in Computer Science and Computational Mathematics from the University of São Paulo (2016 and 2020). He also has an MBA in Project Management (2020-2021) from the USP/ESALQ (Luiz de Queiroz College of Agriculture). In 2019, he did a sandwich doctoral internship at the University of Leicester - England. In 2013, he did an internship in software engineering with an emphasis on software testing based on models at Siemens Corporate Research - USA. He has experience in Computer Science, with focus on Software Engineering, working mainly on the following themes: model based testing, formal methods, software product line, experimental software engineering and automata learning.

Possui bacharel em Ciência da Computação na Universidade Federal do Pará (2014), mestrado e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2016 e 2020). Possui também MBA em Gestão de Projetos (2020-2021) pela USP/ ESALQ. Em 2019, realizou estágio de doutorado sanduíche na Universidade de Leicester - Inglaterra. Em 2013, realizou estágio na área de engenharia de software na Siemens Corporate Research - EUA com ênfase em teste de software baseado em modelos. Tem experiência na área de Ciência da Computação, com foco em Engenharia de Software, atuando principalmente nos seguintes temas: teste de baseado em modelos, métodos formais, linha de produto de software, engenharia de software experimental e aprendizado de autômatos.