Felipe Ulrichsen, MsC.

Lógicas e Semântica de Programas

Professor Assistente do Departamento de Engenharia de Sistemas e Computação da Faculdade de Engenharia da Universidade do estado do Rio de Janeiro. Doutorando do programa de Pós-Graduação em Ciências Computacionais do Instituto de Matemática e Estatística da Universidade do Estado do Rio de Janeiro.Possui graduação em Engenharia Elétrica com ênfase em Sistemas e Computação pela Universidade do Estado do Rio de Janeiro (2014).