Eduardo Silva Lira

Doutorando em Ciências da Computação na Universidade de São Paulo, possui mestrado em Ciência da Computação pela Universidade Federal de Goiás (2016), e graduação em Ciências da Computação pela Universidade Federal de Goiás (2013). Tem experiência em Teoria da Computação, atuando principalmente nos seguintes temas: grafos, número de carathéodory, convexidade de caminhos, convexidade geodésica e formalismos. Atualmente desenvolve pesquisas em bioinformática.

Informações coletadas do Lattes em 10/02/2026

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciencia da Computacao

2017 - Atual

Universidade de São Paulo
André Fujita. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Ciência da Computação

2015 - 2016

Universidade Federal de Goiás
Título: O número de Carathéodory na convexidade geodésica de grafos,Ano de Obtenção: 2016
Erika Morais Martins Coelho.Coorientador: Diane Castonguay. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Grafos; Convexidade Geodésica; Número de Carathéodory; Produto Cartesiano; Prisma Complementar.Grande área: Ciências Exatas e da Terra

Graduação em Ciências da Computação

2009 - 2013

Universidade Federal de Goiás
Título: Lógica Descritiva
Orientador: Diane Castonguay

Graduação interrompida em 2008 em Ciência da Computação

2006 - interrompida

Pontifícia Universidade Católica de Goiás
Bolsista do(a): ProUni, PROUNI, Brasil. Ano de interrupção: 2008

Ensino Médio (2º grau)

2003 - 2005

Instituto Federal de Educação, Ciência e Tecnologia de Goiás

Formação complementar

2004 - 2004

Montagem e Assistência Técnica em Computadores. (Carga horária: 60h). , Senac Cora Coralina, SENAC, Brasil.

2002 - 2002

Lógica de Programação. (Carga horária: 90h). , Senac Cora Coralina, SENAC, Brasil.

2001 - 2002

Web Designer. (Carga horária: 120h). , Senac Cora Coralina, SENAC, Brasil.

2000 - 2000

Básico de Microinformática. (Carga horária: 80h). , Senac Cora Coralina, SENAC, Brasil.

Idiomas

Inglês

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

Espanhol

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

Portuguê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.

Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional/Especialidade: Teoria dos Grafos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Desenvolvimento.

Organização de eventos

VIEIRA, I. ; LIRA, E. S. ; MACHADO, E. ; DUQUE, G. P. ; KRUM, C. ; BUENO, G. A. F. ; SAIAO, B. V. ; MORELLO, S. T. . National Presidents Meeting - NPM AIESEC. 2012. (Outro).

LONGO, H. ; LIRA, E. S. . XVI Maratona de Programação - Regional Goiânia. 2011. (Outro).

Participação em eventos

XXXVI Congresso da Sociedade Brasileira de Computação. 2016. (Congresso).

Conferência Nacional de Desenvolvimento - AIESEC. 2012. (Outra).

Conferência Nacional de Líderes - AIESEC. 2012. (Outra).

XX Seminário de Iniciação Científica / IX Congresso de Pesquisa, Ensino e Extensão.Lógica Descritiva. 2012. (Seminário).

Maratona de Programação - Subregional Brasileira. 2011. (Outra).

Maratona de Programação - Regional Goiânia. 2009. (Outra).

II Congresso de Fenomenologia da Região Centro-Oeste. 2008. (Congresso).

XXVII - Congresso da Sociedade Brasileira de Computação. 2007. (Congresso).

XXXVIII Simpósio Brasileiro de Pesquisa Operacional. 2006. (Simpósio).

Orientou

Antonio Arlis Santos da Silva

Introdução à Computação; 2016; Orientação de outra natureza; (Engenharia de Software) - Universidade Federal de Goiás; Orientador: Eduardo Silva Lira;

Produções bibliográficas

LIRA, E. S. ; COELHO, E. M. M. ; CASTONGUAY, D. ; SILVA, H. C. . The geodesic carathéorody number. In: I Encontro de Teoria da Computação - CSBC 2016, 2016, Porto Alegre - RS. Anais do I ETC - Encontro de Teoria da Computação - CSBC 2016. Porto Alegre - RS: Recurso Eletrônico, 2016. p. 872-874.
LIRA, E. S. ; COELHO, E. M. M. ; CASTONGUAY, D. ; SILVA, H. C. . On the geodesic Carathéodory number for cartesian product of graphs. In: VII Latin American Workshop on Cliques in Graphs, 2016, La Plata. Anais do VII Latin American Workshop on Cliques in Graphs1, 2016. v. 1. p. 50-50.
LIRA, E. S. ; COELHO, E. M. M. ; CASTONGUAY, D. ; COELHO, H. . The Geodesic Carathéodory Number. 2016. (Apresentação de Trabalho/Conferência ou palestra).
LIRA, E. S. ; CASTONGUAY, D. . Lógica Descritiva. 2012. (Apresentação de Trabalho/Seminário).

Outras produções

LIRA, E. S. ; CASTONGUAY, D. . Lógica Descritiva. 2012. (Relatório de pesquisa).

Projetos de pesquisa

2011 - 2012

Lógica Descritiva, Projeto certificado pelo(a) coordenador(a) Diane Castonguay em 15/01/2018., Descrição: Programa Institucional de Iniciação Científica / UFG / CNPq. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Eduardo Silva Lira - Integrante / Diane Castonguay - Coordenador., Número de produções C, T & A: 1

Prêmios

2012

Recognition as Best Project Manager of The Year, AIESEC em Goiânia.

2009

Terceiro Lugar na Subregional Brasileira (Sede Goiânia), International Collegiate Programming Contest, Association for Computing Machinery.

Histórico profissional

Experiência profissional

2015 - 2016

Universidade Federal de Goiás

Vínculo: Contrato, Enquadramento Funcional: Professor Substituo, Carga horária: 20

Outras informações:
Professor das disciplinas de Introdução à Computação, Programação de Computadores I, Linguagens Formais e Autômatos, Compiladores e Estrutura de Dados.

2011 - 2011

Universidade Federal de Goiás

Vínculo: Livre, Enquadramento Funcional: Monitor Voluntário, Carga horária: 15

Outras informações:
Monitor da Disciplina de Matemática Discreta.

2010 - 2010

Universidade Federal de Goiás

Vínculo: Livre, Enquadramento Funcional: Monitor Voluntário, Carga horária: 15

Outras informações:
Monitor da Disciplina de Matemática Discreta.

2009 - 2009

Universidade Federal de Goiás

Vínculo: Livre, Enquadramento Funcional: Monitor Voluntário, Carga horária: 15

Outras informações:
Monitor da Disciplina de Matemática Discreta.

2013 - 2013

AIESEC em Goiânia

Vínculo: Trabalho Voluntário, Enquadramento Funcional: Diretor de Intercâmbios, Carga horária: 15

2008 - 2009

Empresa de Tecnologia e Informações da Previdência Social de Goiás

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

Outras informações:
Desenvolvimento de aplicações em PHP, HTML e JavaScript.

2017 - 2017

Programa Nacional de acesso ao Ensino Técnico e Emprego

Vínculo: Bolsista, Enquadramento Funcional: Professor Regente, Carga horária: 12

Outras informações:
Ministrado o curso de Administrador de Banco de Dados na empresa PC Sistemas.

2018 - 2018

Universidade de São Paulo

Vínculo: Professor Curso de Verão, Enquadramento Funcional: Professor convidado, Carga horária: 20

Outras informações:
Professor da disciplina de Introdução à Programação no XLVII PROGRAMA DE VERÃO do Instituto de Matemática e Estatística.