Portal do Governo Brasileiro

Curriculum Vitae Resumido

Currículo Lattes

  • Graduação: Engenharia de Controle e Automação pela Universidade Federal de Santa Catarina – UFSC, 2003-2009. TCC: Integration of the Fiacre Language in the Topcased Environment. Desenvolvido em: Laboratoire d’Analyse et d’Architecture des Systèmes – LAAS, Toulouse – França. Orientadores: Silvano Dal Zilio, François Vernadat e Jean-Marie Farines.
  • Mestrado: Mestre em Engenharia de Automação e Sistemas (Área: Sistemas Computacionais) pelo DAS/UFSC, SC, 2009-2011. Título da Dissertação: Contribuições para Melhoria do Processo de Verificação Formal de Propriedades em Programas AADL. Orientadores: Leandro Buss Becker e Jean-Marie Farines.
  • Professor no IFC desde 05/12/2011.
  • Coordenador de Engenharia de Controle e Automação deste 28/12/2015.