Denis S. Loubach

Doutor em Engenharia Eletrônica e Ciência da Computação pelo Instituto Tecnológico de Aeronáutica - ITA em 2012. É membro (M) do IEEE, membro da Sociedade Brasileira de Computação - SBC e membro da ACM. De 2014 a 2018, foi Professor Assistente da Universidade Estadual de Campinas - UNICAMP, atuando na área de sistemas embarcados de tempo real e sistemas digitais. Desde julho de 2018, é Professor Assistente do Departamento de Sistemas de Computação, Divisão de Ciência da Computação, ITA.

Formação

  • Doutor em Engenharia Eletrônica e Ciência da Computação, 2012
    Instituto Tecnológico de Aeronáutica

Interesses

  • Computação reconfigurável
  • Sistemas embarcados
  • Sistemas em tempo real
  • Projeto formal baseado em modelos