Marcelo Fagundes Felix

Bacharel em Informática pela Universidade Federal Fluminense (1991), Mestre (1998) e Doutor em Informática (2004) pela Pontifícia Universidade Católica do Rio de Janeiro. Professor do ensino tecnológico no Campus Macaé do Instituto Federal Fluminense, antiga UNED Macaé do CEFET-Campos. Foi diretor-geral do Campus Macaé de 2009 a 2012. Tem experiência profissional no desenvolvimento de sistemas e experiência acadêmica em Ciência da Computação, com ênfase em Métodos Formais , Projeto de Linguagens e Teoria da Computação. Já atuou no ensino técnico e de nível superior nas seguintes disciplinas: Compiladores, Teoria da Computação, Linguagens Formais, Lógica & Especificação Formal, Matemática Discreta, Arquitetura de Computadores, Estruturas de Dados, Algoritmos, Programação de Computadores e Programação de Microcontroladores. Atualmente, tem interesse nos seguintes temas: linguagens de modelagem e especificação formal, modelagem e inteligência de negócio, transformação de código, lógica e inteligência artificial, engenharia de software embarcado de tempo real, internet das coisas, desenvolvimento de aplicativos mobile.

graduation at Informática from Universidade Federal Fluminense (1991), master's at Informática from Pontifícia Universidade Católica do Rio de Janeiro (1997) and doctorate at Informática from Pontifícia Universidade Católica do Rio de Janeiro (2004). Has experience in Computer Science, acting on the following subjects: modelagem de software, validação formal de software, validação formal de software, transformação de código and gestão pública.