Na última semana, ocorreu no Instituto de Matemática e Estatística da Universidade de São Paulo (IME-USP), o XXII Simpósio Brasileiro de Métodos Formais (SBMF 2019). Gustavo Carvalho, professor do Centro de Informática (CIn) da UFPE, foi um dos palestrantes convidados (keynote speaker), falando sobre “NAT2TEST: a strategy for generating test cases from controlled natural-language requirements”. O professor também ofereceu o minicurso “Reasoning with the Coq proof assistant”. Ao final do evento, o Gustavo foi escolhido para ser o coordenador nacional do comitê de programa (PC chair) do próximo SBMF.
Comentários desativados