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
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
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
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.
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.
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
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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 LeopoldoVí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 MinasVí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çãoVí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 COTEMIGVí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
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Fabio Tirelo e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?