Mark Alan Junho Song

Possui graduação (1991), mestrado (1996) e doutorado (2004) em Ciência da Computação pela Universidade Federal de Minas Gerais. É professor Adjunto IV da Pontifícia Universidade Católica de Minas Gerais e professor Titular do Centro Universitário UNA. Também é professor do Programa de Pós-graduação em Informática da PUC-Minas (PPGInf) desde sua implantação em 2005 onde coordena o Laboratório de Métodos Formais (LabMF). Tem experiência na área de Ciência da Computação, atuando nos seguintes temas: model checking, testes de programas, engenharia de software, análise formal de conceitos diádica (FCA) e triádica (TCA). Ao término de seu doutorado atuou ativamente na sua área de pesquisa em verificação simbólica de modelos (model checking) orientando diversos alunos de mestrado em métodos para detecção de erros e falhas em sistemas de software e hardware. Nos últimos anos, com início do programa de doutorado, abriu uma nova linha de pesquisa que objetiva extrair informações em bases de dados de alta dimensionalidade aplicando FCA e TCA. Atualmente, esta é sua linha de pesquisa. Neste tema tem orientado alunos de mestrado e doutorado com publicações em conferências e periódicos que incluem parcerias de pesquisadores internacionais de renome na área. Já orientou 2 alunos de doutorado, foi orientador principal de 21 alunos de mestrado, além de ter sido coorientador de outros 3. Atuou também orientando 12 trabalhos de Iniciação Científica e 32 trabalhos de conclusão de curso. Atualmente orienta 2 alunos de mestrado, 1 de iniciação científica e 3 de conclusão de curso.

graduate at Computer Science from Universidade Federal de Minas Gerais (1991), master's at Computer Science from Universidade Federal de Minas Gerais (1996) and ph.d. at Computer Science from Universidade Federal de Minas Gerais (2004). Has experience in Computer Science, acting on the following subjects: web systems, model checking, engenharia de software, transformação de aplicações and framework.