Pedro Felipe Alves de Oliveira

Atualmente é professor no CEFET MG das disciplinas Linguagens de Programação e Linguagens Formais e Autômatos. Na Pontifícia Universidade Católica de Minas Gerais (PUC Minas) e ministrou as disciplinas de Programação de Computadores 1, Avaliação de Desempenho de Sistemas Computacionais, Laboratório de Programação de Computadores 2 e Laboratório de Desenvolvimento de Sistemas. Como Coordenador de Informática na Câmara Municipal de Belo Horizonte, contribuiu na modernização do legislativo municipal, em especial na renovação dos sistemas, na infra-estrutura e nos processos internos. Já trabalhou como desenvolvedor JAVA da Empresa de Informática e Informação do Município de Belo Horizonte (PRODABEL) e também na empresa Coffey International. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Informação, atuando principalmente nos seguintes temas: Engenharia de Software, Verificação Formal de Modelos, Sistemas de Informação Geográfica, Trabalho Cooperativo, Pesquisa, Sistemas de Informação, Linguagens de Programação.É Mestre em Informática e Bacharel em Sistemas de Informação pela PUC Minas.Possui curso técnico em Edificações com ênfase em Construção de Edifícios pelo CEFET-MG, tendo realizado visitas técnicas e projetos.

Master's at Computer Science in Pontifícia Universidade Católica de Minas Gerais (2012). Has experience in Computer Science, Information Systems, acting on the following subjects: Software Engineering, Formal Verification, Programming Languages, and more.