Olá, caro(a) aluno(a)! Sou o Prof. Marcel Oliveira e preparei a disciplina de Programação Estruturada especialmente para você. Neste vídeo, irei falar um pouco da minha formação para que você possa conhecer melhor o meu trabalho.

Sou formado em Ciência da Computação pela Universidade Federal de Pernambuco, possuo Mestrado pela mesma instituição e sou Ph.D. em Ciência da Computação pela Universidade de York, na Inglaterra.

Cheguei à Universidade Federal do Rio Grande do Norte - UFRN em 2006 como pesquisador e, desde 2008, sou professor efetivo do quadro docente da instituição, estando lotado no Departamento de Informática e Matemática Aplicada (DIMAp). Além disso, faço parte do corpo de colaboradores do Instituto Metrópole Digital - IMD/UFRN, desde sua fundação, em 2010, atuando como coordenador de cursos técnicos.

Atualmente, sou membro do Instituto Nacional de Engenharia de Software (INES), membro do Colegiado da Pós-Graduação em Sistemas e Computação da UFRN, Vice-coordenador do Núcleo Integrador de Pesquisa e Inovação em Engenharia de Software (SETE - Software Engineering Team), do IMD, Coordenador Adjunto do Programa Novos Caminhos da UFRN, Diretor Adjunto de Ensino e membro da Comissão de Desenvolvimento Acadêmico do IMD.

Ao longo dos últimos anos, tenho lecionado as disciplinas de Banco de Dados, Lógica Aplicada à Engenharia de Software, Especificação e Verificação de Programas e Métodos Formais de Engenharia de Software. Essas duas últimas disciplinas estão diretamente relacionadas com meus projetos de pesquisa, os quais têm ênfase em Métodos Formais, uma área da ciência da computação que engloba técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de software e hardware, visando garantir que esses sistemas funcionem corretamente.

Fique à vontade para entrar em contato comigo se quiser aprender mais sobre essa instigante área da ciência da computação. Juntos, poderemos desenvolver projetos super interessantes.

Valeu!!! Nos encontramos por aí!!!