Carlos Bazilio Martins

graduate at Bacharelado em Computação from Universidade Federal Fluminense (1997), master's at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2000) and ph.d. at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2005). Has experience in Computer Science, acting on the following subjects: programming languages, formal specification, distributed systems, protocol, model checking and formal verification.

possui Bacharelado em Computação pela Universidade Federal Fluminense (1997), Mestrado (2000) e Doutorado (2006) em Informática pela Pontifícia Universidade Católica do Rio de Janeiro. Atualmente é professor associado da Universidade Federal Fluminense (lotado no Campus Universitário de Rio das Ostras). Atua nos cursos de Graduação da UFF e no curso de Mestrado Profissional em Engenharia de Produção e Sistemas Computacionais. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, Sistemas Paralelos e Distribuídos, Programação Web, Especificação e Verificação Formal de Sistemas.