Leonardo Teixeira Passos

possui graduação em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais - Coração Eucarístico (2004) e mestrado em Ciência da Computação pelo Instituto de Ciências Exatas - UFMG (2007). Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação e Compiladores.

Informações coletadas do Lattes em 26/11/2025

Acadêmico

Formação acadêmica

Mestrado em Mestrado em Ciência da Computação

2005 - 2007

Instituto de Ciências Exatas - UFMG
Mariza Andrade da Silva Bigonha.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: análise sintática LALR; linguagens formais.

Graduação interrompida em 2004 em Letras

2002 - interrompida

Faculdade de Letras - UFMG
Ano de interrupção: 2004

Graduação em Bacharelado em Ciência da Computação

2000 - 2004

Pontifícia Universidade Católica de Minas Gerais - Coração Eucarístico

Idiomas

Inglês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

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: Linguagens de Programação.

Participação em eventos

Summer School on Theory and Practice of Language Implementation. 2009. (Outra).

XII Brazilian Symposium on Programming Languages.An LALR Parser Generator Supporting Conflict Resolution. 2008. (Simpósio).

II Tecnologia em Foco.Desenvolvimento de Aplicações Swing Segundo a Arquitetura MVP. 2008. (Outra).

XI Brazilian Symposium on Programming Languages.A Methodology for Removing LALR(k) Conflicts. 2007. (Simpósio).

X Brazilian Symposium on Programming Languages. 2006. (Simpósio).

XI Seminário de Trabalhos de Iniciação Científica da PUC Minas.Personalização de Conteúdo Web para Dispositivos Computacionais Móveis. 2004. (Seminário).

IV Workshop de Comunicação sem Fio e Computação Móvel.Personalizações para Acesso à Web em Computadores Móveis. In: VI Workshop de Comunicação Sem Fio e Computação Móvel. 2004. (Oficina).

XIII Semana de Iniciação Científica UFMG.Personalização de Conteúdo Web para Dispositivos Computacionais Móveis. 2004. (Encontro).

I Seminário de Iniciação Científica em Ciência da Computação.Personalização de Conteúdo Web para Dispositivos Computacionais Móveis. 2003. (Seminário).

XII Semana de Iniciação Científica da UFMG.Personalização de Conteúdo Web para Dispositivos Computacionais Móveis. 2003. (Encontro).

SECOP 2002. 2002. (Seminário).

Participação em bancas

Aluno: José Oswaldo Marques Junior

Milene Barbosa Carvalho; Cristiane Medina Finzi Quintão;PASSOS, L. T.. Proposta e Desenvolvimento de Sistema Web para Controle de Gado de Corte. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Fundação Universidade de Itaúna.

Aluno: Monique Aparecida Silva

PASSOS, L. T.; Tays Cristina do Amaral Pales Soares; Cristiane Medina Finzi Quintão. Análise de técnicas de processamento de linguagem natural. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Fundação Universidade de Itaúna.

Aluno: Anderson Caixeta Satiro dos Santos

PASSOS, L. T.; Cristiane Medina Finzi Quintão; Tays Cristina do Amaral Pales Soares. Software para Análise Preliminar de Risco - APR. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Fundação Universidade de Itaúna.

Orientou

José Oswaldo Marques Junior

Proposta e Desenvolvimento de Sistema Web para Controle de Gado de Corte; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Fundação Universidade de Itaúna; Orientador: Leonardo Teixeira Passos;

Produções bibliográficas

PASSOS, L. T. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . An LALR Parser Generator Supporting Conflict Resolution. Journal of Universal Computer Science , v. 14, p. 3347-3464, 2008.
PASSOS, L. T. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . A Methodology for Removing LALR(k) Conflicts. Journal of Universal Computer Science , v. 13, p. 737-752, 2007.
PASSOS, L. T. ; VALENTE, M. T. O. . Personalizing Web Sites for Mobile Devices Using a Graphical User Interface. Lecture Notes in Computer Science , v. 3140/, p. 220-224, 2004.
PASSOS, L. T. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . An LALR Parser Generator Supporting Conflict Resolution. In: XII Brazilian Symposium on Programming Languages, 2008, Fortaleza. Anais do XII Simpósio Brasileiro de Linguagens de Programação, 2008.
PASSOS, L. T. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . A Methodology for Removing LALR(k) Conflicts. In: XI Brazilian Symposium on Programming Languages, 2007, Natal. Anais do XI Simpósio Brasileiro de Linguagens de Programação, 2007. p. 47-60.
PASSOS, L. T. ; VALENTE, M. T. O. . Personalizações para Acesso à Web em Computadores Móveis. In: IV Workshop de Comunicação sem Fio e Computação Móvel, 2004, Fortaleza. Anais do IV Workshop de Comunicação sem Fio e Computação Móvel, 2004. p. 250-257.
PASSOS, L. T. ; TERRA, R. ; DINIZ, R. ; VALENTE, M. T. O. ; MENDONCA, N. C. . Static Architecture Conformance Checking: An Illustrative Overview. IEEE Software , 2009.

Outras produções

PASSOS, L. T. . Minicurso de Programação em Java - I Semana de Ciência e Tecnologia do CEFET-Bambuí. 2008. (Curso de curta duração ministrado/Outra).

Histórico profissional

Experiência profissional

2009 - Atual

Universidade Federal dos Vales do Jequitinhonha e Mucuri

Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente I, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2009 - 12/2009
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação, Algoritmos e Estrutura de Dados I, Linguagens de Programação
03/2009 - 07/2009
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estrutura de Dados I, Linguagens de Programação, Teoria da Computação

2008 - 2009

Instituto Federal Minas Gerais

Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

09/2008 - 12/2008
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação I, Programação Orientada a Objetos
09/2008 - 12/2008
Ensino,,Disciplinas ministradas, Linguagens de Programação

2008 - 2008

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

Vínculo: Celetista, Enquadramento Funcional: Professor Assistente I, Carga horária: 16

Atividades

02/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores
02/2008 - 07/2008
Ensino, Engenharia Eletrônica, Nível: Graduação,Disciplinas ministradas, Introdução à Informática
02/2008 - 07/2008
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Introdução à Computação

2007 - 2008

Vetta Technologies

Vínculo: Colaborador, Enquadramento Funcional: Analista/Programador, Carga horária: 40

Atividades

08/2007 - 05/2008
Serviços técnicos especializados , Vetta Technologies, .,Serviço realizado, Codificação de sistemas Web.

2007 - 2008

Fundação Universidade de Itaúna

Vínculo: Celetista, Enquadramento Funcional: Professor Assistente I, Carga horária: 14

Atividades

08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto Orientado II, Projeto Orientado I, Teoria da Computação, Engenharia de Software II
02/2007 - 07/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software II, Teoria da Computação

2004 - 2005

Unitech - Tecnologia da Informação

Vínculo: , Enquadramento Funcional: Analista de Sistemas Júnior, Carga horária: 44

Atividades

09/2004 - 02/2005
Serviços técnicos especializados , Unitech - Tecnologia da Informação, .,Serviço realizado, Modelagem de sistemas utilizando UML.
07/2004 - 09/2004
Serviços técnicos especializados , Unitech - Tecnologia da Informação, .,Serviço realizado, Programador C para terminais Unix.

2002 - 2004

Instituto de Ciências Exatas - UFMG

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Cientítica, Carga horária: 20

2002 - 2002

Expresso Linux

Vínculo: , Enquadramento Funcional: Estagiário, Carga horária: 20

Atividades

01/2002 - 06/2002
Serviços técnicos especializados .,Serviço realizado, Programador C em ambiente Linux.