Luiz Carlos Castro Guedes

Possui graduação em Engenharia de Computação pelo Instituto Militar de Engenharia(1989), mestrado em Sistemas e Computação pelo Instituto Militar de Engenharia(1991) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro(1995). Atualmente é Professor Adjunto do Instituto Militar de Engenharia. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Semantica Denotacional, Orientação a Objetos, Sigma Algebra, Geração de Compiladores.

Informações coletadas do Lattes em 04/06/2024

Acadêmico

Formação acadêmica

Doutorado em Informática

1991 - 1995

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Um Modelo Orientado a Objetos para Geracao Automática de Compiladores
Orientador: José Lucas Mourão Rangel Neto Edward Hermann Haeusler
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Semantica Denotacional; Orientação a Objetos; Sigma Algebra; Geração de Compiladores.Grande área: Ciências Exatas e da TerraGrande Á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: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Setores de atividade: Informática.

Mestrado em Sistemas e Computação

1990 - 1991

Instituto Militar de Engenharia
Título: OOH ! - Um modelo Orientado a Objetos para Simulacao de Hardware,Ano de Obtenção: 1991
Orientador: José Luis Cordeiro
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Orientação a Objetos; Simulação de Hardware; HDL; Transferência de Registradores.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática; Industria Eletro-Eletrônica.

Graduação em Engenharia de Computação

1985 - 1989

Instituto Militar de Engenharia

Idiomas

Inglês

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

Chinês

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

Espanhol

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

Português

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

Italiano

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

Francês

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

Coreano

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

Á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: 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: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Produções bibliográficas

BOTELHO, T. A. T. ; GUEDES, L. C. C. . An Implementation of a Weakly Typed Language For Resource Constrained Machines. In: 6o. Simpósio Brasileiro de Linguagens de Programação, 2002, Rio de Janeiro. Anais do 6o. Simpósio Brasileiro de Linguagens de Programação, 2002.
GUEDES, L. C. C. ; FARIAS, A. S. P. . MIDP + JavaPOS: A Business Application Platform for Point of Sale Terminal Devices. In: Workshop on JAVA IN EMBEDDED SYSTEMS, 2002, Karlsruhe. Proceeding of the 2002 Workshop on JAVA IN EMBEDDED SYSTEMS, 2002.
GUEDES, L. C. C. ; HAEUSLER, E. H. . A Formal Approach for Specifying XML-based Languages. In: 5o. Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba. Anais do 5o. Simpósio Brasileiro de Linguagens de Programação, 2001.
GUEDES, L. C. C. ; GARCIA, A. V. . Translating Programs from CHILL to C++ Preserving Efficiency and Maintainability. In: 3o. Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do 3o. Simpósio Brasileiro de Linguagens de Programação, 1999.
GUEDES, L. C. C. ; HAEUSLER, E. H. . On the Separability of Denotational Semantics. In: 1o. Simpósio Braisleiro de Linguagens de Programação, 1996, Belo Horizonte. Anais do 1o. Simpósio Braisleiro de Linguagens de Programação, 1996.
GUEDES, L. C. C. ; HAEUSLER, E. H. ; RANGEL NETO, J. L. M. . An Object Oriented Model for Semantics Directed Compiler Generation. In: 1o. Simpósio Braisleiro de Linguagens de Programação, 1996, Belo Horizonte. Anais do 1o. Simpósio Braisleiro de Linguagens de Programação, 1996.
GUEDES, L. C. C. ; HAEUSLER, E. H. ; RANGEL NETO, J. L. M. . Object Oriented Semantics Directed Compiler Generation: A Prototype. In: TAPSOFT'95 - Theory and Pratice of Software Development, 1995, Aahrus. Lecture Notes In Computer Science, 1995. v. 915.

Histórico profissional

Endereço profissional

Instituto Militar de Engenharia, Secao de Matematica e Engenharia de Sistemas. , Praça General Tiburcio, Urca, 22290270 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 25467092, URL da Homepage:

Experiência profissional

2014 - Atual

Instituto Militar de Engenharia

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 20

Atividades

07/2014
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores - 2014.2, 2015.2, 2016.2, 2017.2, 2018.2, Linguagens de Programação - 2015.1, 2016.1, 2017.1, 2018.1, 2019.1

2013 - 2014

Universidade Federal Fluminense

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 20

1992 - 2013

Universidade Federal Fluminense

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

Atividades

08/1995 - 06/2014
Pesquisa e desenvolvimento , Centro de Estudos Gerais, Departamento de Computação.,Linhas de pesquisa
01/1992 - 06/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos em Grafos, Compiladores, Estrutura de Dados 1, Linguagens Formais, Organização de Computadores
08/1995 - 12/1998
Ensino, Computação, Nível: Pós-Graduação,Disciplinas ministradas, Linguagens Formais e Autômatos, Logica Matemática, Teoria da Computação