Palestras e Seminários
09/05/2025
17:00
Sala 5-102
Palestrante: Cristiano Lacerda
Responsável: Amalia Melo (
Modo: Presencial
Cristiano é Engenheiro de Software na Embraer desde 2023, atuando no projeto de transferência de tecnologia do caça Gripen F-39. Formado em Sistemas de Informação pelo ICMC-USP (2021), também é especialista em Sistemas Embarcados para a Indústria Aeronáutica pela UFPE (2022). Atualmente, é aluno de mestrado no LabES, desenvolvendo sua pesquisa no GDDN (Gripen Design and Development Network).
Sua pesquisa explora o uso de linguagens formais e gerenciamento de código fonte para criar documentos de requisitos, design e verificação usando as mesmas ferramentas e processos aplicados no desenvolvimento de código-fonte e testes.