Fabio Tirelo

Possui graduação em Informática pela Universidade Federal de Viçosa (1997), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (2000) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2009). Atualmente é Professor Adjunto III da Pontifícia Universidade Católica de Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, atuando principalmente nos seguintes temas: linguagens de programação, compiladores, semântica formal, sistemas de apoio à aprendizagem e animação de algoritmos.

Informações coletadas do Lattes em 23/05/2024

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2004 - 2009

Universidade Federal de Minas Gerais
Título: Semântica Incremental de Linguagens de Programação
Orientador: em University of Minho ( João Alexandre Baptista Saraiva)
com Roberto da Silva Bigonha. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Programação Orientada por Aspectos; Linguagens de Programação; Engenharia de Software.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Mestrado em Ciências da Computação

1998 - 2000

Universidade Federal de Minas Gerais
Roberto da Silva Bigonha.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Compiladores; Álgebras Evolutivas; Otimização.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Setores de atividade: Desenvolvimento de Programas (Software).

Graduação em Informática

1994 - 1997

Universidade Federal de Viçosa
Orientador: Leacir Nogueira Bastos

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Bandeira representando o idioma Francês

Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

Participação em eventos

XXIV Congresso da Sociedade Brasileira de Computação. XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).

I Semana de Pós-Graduação da UFMG.I Semana de Pós-Graduação. 1999. (Seminário).

Simpósio Brasileiro de Linguagens de Programação.III Simpósio Brasileiro de Linguagens de Programação. 1999. (Simpósio).

49a. Reunião Anual da Sociedade Brasileira Para o Progresso da Ciência. 49a. Reunião Anual da Sociedade Brasileira Para o Progresso da Ciência. 1997. (Congresso).

VI Semana de Iniciação Científica na UFV.VI Simpósio de Iniciação Científica na UFV. 1996. (Simpósio).

II Semana de Informática.II Semana de Informática. 1994. (Seminário).

Participação em bancas

Aluno: Erian Coelho Santos

TIRELO, Fabio. Estudo Comparativo na Utilização da Linguagem XML em Sistemas de Gerenciamento de Bancos de Dados. 2003. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais.

Aluno: Marcela Campos Franco

TIRELO, Fabio. FED - Framework Edition Tool. 2003. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais.

Aluno: Marco Túlio Vieira Gonçalves

TIRELO, Fabio. Organização de Dados e Informações Através de Sistemas Computacionais. 2003. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais.

TIRELO, Fabio; MACHADO, Alexei Manso Correa; SILVA, Soraia Lúcia da. Banca de Provimento Interno para Professor do Curso de Ciências Atuariais. 2004. Pontifícia Universidade Católica de Minas Gerais.

TIRELO, Fabio; RIBAS, Carlos Barreto; SILVA, Soraia Lúcia da. Banca de Provimento Externo para Professor do Curso de Sistemas de Informação. 2004. Pontifícia Universidade Católica de Minas Gerais.

TIRELO, Fabio; GUIMARÃES, Silvio Jamil Ferzoli; BATALHA, Rose Mary. Banca de Provimento Externo para Professor de Algoritmos e Técnicas de Programação III. 2003. Pontifícia Universidade Católica de Minas Gerais.

TIRELO, Fabio; FROTA, Maria Clara Rezende; BARBOSA, Marco Antônio da Silva. Banca para Provimento Externo de Gerência de Redes. 2003. Pontifícia Universidade Católica de Minas Gerais.

Orientou

Guilherme Carvalho Cunha

Ferramenta para o auxílio de Programação por meio de Desenvolvimento de Jogos Digitais; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Renato Freitas dos Santos

Ferramenta para Aprendizagem de Algoritmos e Desenvolvimento de Jogos Digitais; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Vinicius Andre Moreira Soares

Framework para portais de vendas em dispositivos móveis; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Elisa Guimarães Monteiro

Jogos para Educação; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

David Assis de Sousa

Jogos Digitais Para o Aprendizado de Algoritmos de Caminhamento em Grafos; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Victor Hugo Yonamine Araujo

Jogos Digitais no Aprendizado de Algoritmos Recursivos em Árvores Binárias; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Angélica Aparecida Moreira

Desenvolvimento e Análise Quantitativa do Algoritmo de Subdivisão de Superfícies Loop em Paralelo; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Gabriel D

Rocha; Geração de Interfaces com o Usuário a Partir de um Modelo Relacional; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Rafael Saraiva Paoliello

Analise Qualitativa da Refatoracao Orientada por Aspectos de Padrões de Projeto; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Esdras Hachouch Siqueira

Aplicando a Orientação por Aspectos no Padrão Data Access Object do Java EE; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Ariane Ferreira Felix

Geração de Código Para Operação de Banco de Dados com Interfaces Web Ricas; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Cíntia Menezes

Utilização de Jogos Digitais no ensino da Recursividade; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Renan Borges Campos

Geração de Interfaces para Acesso a Registros em Dispositivos Móveis; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Tarcísio Luís Morais

Estimativa de Custos de Manutenção Baseadas em Rastreabilidade de Requisitos; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Guilherme de Figueiredo Barbosa

Geração de Front-Ends Baseada em Definições Modulares da Sintaxe de Linguagens de Programação; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Eduardo Santos Cordeiro

Uma Metodologia de Auxílio à Modelagem deProblemas na Teoria dos Grafos; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Tays Cristina do Amaral Pales Soares

Depuração Visual Não-intrusiva para o Aprendizado de Algoritmos em Grafos; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Tays Cristina do Amaral Pales Soares

Um Ambiente para Aprendizado de Algoritmos em Grafos por meio de Animação de Algoritmos; 2004; 50 f; Iniciação Científica; (Graduando em Ciência da Computação) - Pontifícia Universidade Católica de Minas Gerais; Orientador: Fabio Tirelo;

Produções bibliográficas

  • TIRELO, Fabio ; BIGONHA, Roberto S. ; SARAIVA, J. . Disentangling Denotational Semantics Definitions. Journal of Universal Computer Science , v. 14, p. 3592-3607, 2009.

  • CORDEIRO, Eduardo dos Santos ; BIGONHA, Roberto S. ; BIGONHA, Mariza A. S. ; TIRELO, Fabio . Optimized Compilation of Around Advice for Aspect Oriented Programs. Journal of Universal Computer Science , v. 13, p. 753-766, 2007.

  • TIRELO, Fabio ; BIGONHA, Roberto da Silva ; BIGONHA, Mariza Andrade da Silva ; VALENTE, Marco Túlio de Oliveira . Desenvolvimento de Software Orientado por Aspectos. In: Aline Andrade; Ana Teresa Martins. (Org.). XXIII Jornada de Atualização em Informática (JAI). : , 2004, v. 2, p. 57-96.

  • VALENTE, Marco Túlio de Oliveira ; TIRELO, Fabio ; LEÃO, Diana Campos ; PALHARES, Rodrigo . An Aspect-Oriented Communication Middleware System. In: International Symposium on Distributed Objects and Applications (DOA 2005), 2005, Agia Napa. Lecture Notes in Computer Science (LNCS), 2005. v. 3761. p. 1115-1132.

  • VALENTE, Marco Túlio de Oliveira ; LEÃO, Diana Campos ; PALHARES, Rodrigo ; TIRELO, Fabio . Um Sistema de Chamada Remota de Métodos Orientado por Aspectos. In: 9th Brazilian Symposium on Programming Languages, 2005, Recife. Proceedings of the 9th Brazilian Symposium on Programming Languages, 2005.

  • TIRELO, Fabio ; CORDEIRO, Eduardo dos Sandos ; GIOVANNI, Italo ; ARAUJO, Tays . Rin'G: Um Ambiente Não-Intrusivo Para o Aprendizado de Algoritmos em Grafos. In: XXIII Workshop de Educação em Informática, 2004, Salvador. Anais do XXIV Congresso da Sociedade Brasileira de Computação, 2004.

  • VALENTE, Marco T. O. ; PALHARES, Rodrigo ; TIRELO, Fabio . Especificação de Táticas para Invocação Remota de Métodos Usando Orientação por Aspectos. In: I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2004, Brasília, 2004.

  • TIRELO, Fabio ; BIGONHA, Roberto da Silva . Técnicas de Otimização de Código Baseado em Máquinas de Estado Abstratas. In: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife. Anais do IV Simpósio Brasileiro de Linguagens de Programação, 2000. p. 70-85.

  • TIRELO, Fabio ; IORIO, Vladimir Oliveira Di ; MAIA, Marcelo de Almeida ; BIGONHA, Roberto da Silva . Máquinas de Estado Abstratas. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do III Simpósio Brasileiro de Linguagens de Programação. Porto Alegre, 1999.

Outras produções

BIGONHA, Roberto S. ; TIRELO, Fabio ; MAIA, Marcelo A. ; SILVA, Marcelo L. ; VALENTE, Marco T. O. ; BIGONHA, Mariza A. S. ; IORIO, Vladimir O. Di . Projeto Machina. 1999.

TIRELO, Fabio ; CORDEIRO, Eduardo dos Santos ; ARAUJO, Tays ; GIOVANNI, Italo . Rin'G - Reflecting Graphs. 2004.

TIRELO, Fabio ; BIGONHA, Roberto da Silva ; MAIA, Marcelo A ; IORIO, Vladimir O. Di . Machina: A Linguagem de Especificação de ASM. 1999.

TIRELO, Fabio ; BASTOS, Leacir Nogueira . Estudo e Utilização de Redes Neuronais de Hopfield para Reconhecimento de Padrões. 1997.

Projetos de desenvolvimento

  • 2003 - 2004

    Um Ambiente de Apoio ao Ensino de Algoritmos em Grafos, Descrição: Criação de um Ambiente para o Desenvolvimento de Algoritmos em Grafos, para ser aplicado na disciplina Grafos e Teoria da Complexidade. O desenvolvimento consiste em três partes: o desenvolvimento de um framework que suporte o desenvolvimento de ambientes que utilizem grafos, o desenvolvimento de um ambiente gráfico para criação e manipulação de grafos e a definição de algoritmos, e o desenvolvimento de extensões do framework para suporte a funcionalidades específicas das disciplinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fabio Tirelo - Coordenador / Eduardo dos Sandos Cordeiro - Integrante / Tays Araujo - Integrante / Italo Giovanni - Integrante.

Prêmios

2005

Professor Homenageado dos Formandos de Sistemas de Informação da PUC Minas, PUC Minas.

2004

Professor Homenageado dos Formandos de Ciência da Computação da PUC Minas, PUC Minas.

2003

Professor Homenageado dos Formandos de Ciência da Computação da PUC Minas, PUC Minas.

1997

Medalha Arthur Bernardes, Universidade Federal de Viçosa.

Histórico profissional

Endereço profissional

  • Pontifícia Universidade Católica de Minas Gerais, Departamento de Ciência da Computação, São Gabriel. , Rua D. José Gaspar, 500, Dom Cabral, 30310-030 - Belo Horizonte, MG - Brasil, Telefone: (31) 33194117, URL da Homepage:

Experiência profissional

2003 - 2003

Faculdades Pedro Leopoldo

Vínculo: Celetista, Enquadramento Funcional: Outro, Carga horária: 4

Outras informações:
Professor assistente

Atividades

  • 02/2003 - 12/2003

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados I, Projeto Orientado I

2001 - Atual

Pontifícia Universidade Católica de Minas Gerais, PUC Minas

Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto III, Carga horária: 40

Atividades

  • 08/2009

    Direção e administração, Departamento de Ciência da Computação, .,Cargo ou função, Membro do Colegiado do Curso de Ciência da Computação.

  • 08/2008

    Conselhos, Comissões e Consultoria, Conselho Universitário, .,Cargo ou função, Membro do Conselho Universitário.

  • 02/2008

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Teoria de Grafos Para a Computação

  • 02/2008

    Ensino, Tecnologia em Jogos Digitais, Nível: Graduação,Disciplinas ministradas, Grafos e Teoria da Computação, Programação Orientada por Objetos

  • 08/2003

    Ensino, Especialização Em Engenharia de Software, Nível: Pós-Graduação,Disciplinas ministradas, Programação Orientada por Objetos, Programação Avançada em Java

  • 02/2003

    Pesquisa e desenvolvimento , Departamento de Ciência da Computação, .,Linhas de pesquisa

  • 02/2001

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Algoritmos e Estruturas de Dados I, Algoritmos e Estruturas de Dados II, Linguagens de Programação, Grafos e Teoria da Complexidade

  • 02/2001

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Técnicas de Programação II, Algoritmos e Técnicas de Programação III, Grafos e Algoritmos Computacionais

  • 07/2004 - 12/2008

    Direção e administração, Departamento de Ciência da Computação, São Gabriel.,Cargo ou função, Membro de colegiado do curso de Sistemas de Informação.

  • 02/2005 - 10/2005

    Serviços técnicos especializados , Departamento de Ciência da Computação, São Gabriel.,Serviço realizado, Participação na Equipe Técnica de Elaboração do Projeto Pedagógico do Curso de Engenharia de Computação.

  • 02/2003 - 12/2003

    Serviços técnicos especializados , Departamento de Ciência da Computação, São Gabriel.,Serviço realizado, Participação na Equipe Técnica de Elaboração do Projeto Pedagógico do Curso de Sistemas de Informação.

2000 - 2002

União de Negócios e Administração

Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 8

Atividades

  • 02/2000 - 07/2002

    Ensino, Tecnologia Em Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Linguagens e Técnicas de Programação I, Laboratório I

  • 02/2000 - 07/2002

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação, Técnicas de Programação II

2000 - 2001

Faculdade COTEMIG

Vínculo: Outro, Enquadramento Funcional: Professor titular, Carga horária: 16

Atividades

  • 02/2000 - 12/2001

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Introdução à Lógica, Introdução à Programação, Programação Orientada por Objetos, Linguagens de Programação, Estruturas de Dados II