Lucas Emanuel Ramos Fernandes Koontz

Possui graduação em Ciência da Computação pela Universidade Tecnológica Federal do Paraná(2017), graduação em Ciência da Computação pela New York Institute of Technology(2015), curso-tecnico-profissionalizante em Informática pelo Centro Estadual de Educação Tecnológica Paula Souza(2010) e ensino-medio-segundo-grau pela Dr. Demétrio Azevedo Júnior(2010). Atualmente é Desenvolvedor de Software da SIDIA. Tem experiência na área de Ciência da Computação.

Informações coletadas do Lattes em 06/10/2025

Acadêmico

Formação acadêmica

Mestrado em andamento em Ciências da Computação

2019 - Atual

Universidade de São Paulo
Orientador:Jaime Simão Sichman.

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

2012 - 2017

Universidade Tecnológica Federal do Paraná
Título: Implementação e Verificação Formal de planos de um agente racional modelado para condução de veículos autônomos
Orientador: Gleifer Vaz Alves

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

2014 - 2015

New York Institute of Technology
Orientador: em New York Institute of Technology ( Julie Fratrik)
com Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Curso técnico/profissionalizante em Informática

2009 - 2010

Centro Estadual de Educação Tecnológica Paula Souza

Ensino Médio (2º grau)

2008 - 2010

Dr. Demétrio Azevedo Júnior

Idiomas

Inglês

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

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.

Produções bibliográficas

FERNANDES, LUCAS E. R. ; CUSTODIO, VINICIUS ; ALVES, GLEIFER V. ; FISHER, MICHAEL . A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE , v. 257, p. 35-42, 2017.
FERNANDES, L. E. R. ; CUSTODIO, V. ; ALVES, Gleifer Vaz . Implementação e verificação formal de estratégias para desvio de obstáculos de veículos autônomos modelados como agentes racionais. WPCCG , v. 1, p. 12-15, 2016.
FERNANDES, L. E. R. ; ALVES, Gleifer Vaz ; CUSTODIO, V. . Implementação e verificação formal de estratégias para desvio de obstáculos de veículos autônomos modelados como agentes racionais. 2016. (Apresentação de Trabalho/Simpósio).

Projetos de pesquisa

2016 - 2016

Smart Parking: modelo, implementação e verificação formal de solucões para alocações de vagas em estacionamento, Projeto certificado pelo(a) coordenador(a) Gleifer Vaz Alves em 24/02/2019., Descrição: Estudo e análise de técnicas de Coordenação e Cooperação entre Agentes em um Smart Parking.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: Lucas Emanuel Ramos Fernandes Koontz - Integrante / Gleifer Vaz Alves - Coordenador / Vinicius Custodio - Integrante., Número de produções C, T & A: 1

Histórico profissional

Experiência profissional

2016 - 2016

Universidade Tecnológica Federal do Paraná

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador Voluntário, Carga horária: 20

Outras informações:
Pesquisa em Smart Parking, com foco em: Implementação e verificação formal de estratégias para desvio de obstáculos de veículos autônomos modelados como agentes racionais.

2012 - 2016

Universidade Tecnológica Federal do Paraná

Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 20

Outras informações:
Monitor das seguintes disciplinas: Linguagem de Programação, Algoritmos, Banco de Dados e, Linguagens Formais e Autômatos.

2015 - 2015

The Hang NY LLC

Vínculo: Funcionário, Enquadramento Funcional: Estágio de Desenvolvimento Web, Carga horária: 35

Outras informações:
Estágio realizado enquanto bolsista do Ciência sem Fronteiras.

2017 - Atual

Sidia

Vínculo: Colaborador, Enquadramento Funcional: Desenvolvedor de Software, Carga horária: 40

Outras informações:
Pesquisa e desenvolvimento de projetos de inovação na área de televisores e displays de vídeo.

2016 - 2016

CINQ Technologies

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

Outras informações:
Atuei como estagiário e realizei atividades relacionadas a desenvolvimento WEB, onde utilizei linguagens como HTML, CSS, ASP.NET e C#.