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 – campus Luzerna desde 05/12/2011.
    • Coordenador de Curso Técnico em Automação Industrial 2014 – 2015.
    • Coordenador de Engenharia de Controle e Automação 2016 – 2017.