Sergio de Mello Schneider

Possui graduação em Engenharia Mecânica pela Universidade de São Paulo (1974), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (1978) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1987). Atualmente é professor titular da Universidade Federal de Uberlândia. Tem experiência na área de Ciência da Computação, com ênfase em Software Básico, atuando principalmente nos seguintes temas: construção de compiladores, programação lógica, linguagens de domínio específico, análise sintática e programação funcional. Foi membro fundador da Sociedade Brasileira de Computação, tendo participado da sua Diretoria e Conselho em mandatos diversos. Trabalhou em projeto de pós-doutorado com Dr. Rafael Dueire Lins no Departamento de Informática da UFPE em 1997 e com Sjoerd Doaitse Swierstra da Universidade de Utrecht na Holanda em 1998/1999. Aposentou-se voluntariamente em 8 de agosto de 2008. Trabalhou como consultor na OEI em projetos para o desenvolvimento de Sistema Integrado de Gestão para o Ensino Superior Público, a ser desenvolvido em cooperação entre organismos federais e as IFES.

Informações coletadas do Lattes em 25/05/2023

Acadêmico

Formação acadêmica

Doutorado em Engenharia de Sistemas e Computação

1980 - 1987

Universidade Federal do Rio de Janeiro
Título: Gramáticas e Linguagens R*S(k)
Orientador: José Lucas Mourão Rangel Neto
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Análise Sintática; Construção de Compiladores; Correção de Erros Sintáticos; Linguagens Formais.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Desenvolvimento de Programas (Software).

Mestrado em Ciências da Computação e Matemática Computacional

1975 - 1978

Universidade de São Paulo
Título: Projeto de uma Linguagem e Construção do Correspondente Compilador para o Computador HP 2110A,Ano de Obtenção: 1978
Orientador: Célio Cardoso Guimarães
Palavras-chave: Análise Léxica; Análise Sintática; Construção de Compiladores; Correção de Erros Sintáticos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática.

Graduação em Engenharia Mecânica

1965 - 1974

Universidade de São Paulo

Pós-doutorado

1998 - 1999

Pós-Doutorado. , Universitat Utrecht, UU, Holanda. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.

1987 - 1988

Pós-Doutorado. , Universidade Federal de Pernambuco, UFPE, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Idiomas

Inglês

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

Espanhol

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

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: Sistemas de Computação/Especialidade: Software Básico.

Organização de eventos

SCHNEIDER, S. M. . IX Congresso da SBC. 1989. (Congresso).

SCHNEIDER, S. M. ; Ana Maria Ferreira Árabe ; Fernando Egberto Feital de Camargo ; Gilberto Arantes Carrijo ; Kátia Mara Daud ; Maria Edith Ferreira Alcântara Rufino ; Rita Maria da Silva ; Teresa Angélica Rodrigues Testa . 4o. Simpósio Brasileiro de Inteligência Artificial. 1987. (Congresso).

Orientou

Flávio Luis Duarte

PHOENIX - Um Framework para Trabalhos em Síntese de Alto Nível de Circuitos Digitais; 2006; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Sergio de Mello Schneider;

Nélio Muniz Mendes Alves

Contribuições para a Representação de Circuitos Digitais usando Programação Funcional; 2003; 71 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Sergio de Mello Schneider;

Evandro Guglielmeli

MOCO - Uma Linguagem para Monitoração e Controle; 1995; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia,; Orientador: Sergio de Mello Schneider;

Marcelo Luiz Silva

Proposta de uma Ferramenta de Apoio ã Implementação de Definições de Semântica Denotacional; 1994; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia,; Orientador: Sergio de Mello Schneider;

Cedric Luiz de Carvalho

Linguagem Scheme: Compilação e Interpretação; 1990; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia,; Orientador: Sergio de Mello Schneider;

Edgard Lamounier Júnior

Projeto de uma Linguagem de Programação Uma Proposta de Modelagem Lógica para Sólidos; 1989; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia,; Coorientador: Sergio de Mello Schneider;

Ricardo Rames Basílio Júnior

Informatização dos Processos DIRAS; 2004; 47 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Sergio de Mello Schneider;

Ligia Maria Silveira Saito

Portal do Hospital de Clínicas de Uberlândia; 2004; 40 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Sergio de Mello Schneider;

Roberto Hiroshi Higa

Contrução de um Compilador para Linguagem tipo C; 1986; Trabalho de Conclusão de Curso; (Graduação em Graduação em Engenharia Elétrica) - Universidade Federal de Uberlândia; Orientador: Sergio de Mello Schneider;

Celso Luis Ferreira Cintra

Ante-Projeto de um Editor de TExtos para o I-7000; 1984; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Sergio de Mello Schneider;

Benedito Massayuki Sakugawa

Construtor de um analisador sintático para a Linguagem TINY-C; 1984; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Sergio de Mello Schneider;

Celso Nori Taga

Análise Sintática de MINI-COBOL; 1980; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Sergio de Mello Schneider;

Denise Guliato

Implementação de um Tradutor de Linguagem de Montagem do PADE - LIMPA; 1979; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos; Orientador: Sergio de Mello Schneider;

Paulo Lopes da Silva Júnior

Teoria e Implementação de Linguagens Funcionais; 1990; Iniciação Científica - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Cláudio Lira do Amaral

Teoria e Implementação de Linguagens Funcionais; 1990; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Marcelo Cunha dos Santos

Antonio Rolando Júnior

Implementação de Linguagens Funcionais; 1990; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Paulo Lopes da Silva Júnior

Representação do Conhecimento usando Lambda-Cálculo Tipado; 1989; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Cássia Silva

Cássio Xavier Rocha

Desenvolvimento de Software para Projeto e Teste de Circuitos Eletrônicos; 1988; Iniciação Científica; (Graduando em Graduação em Engenharia Elétrica) - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Maria das Graças Volpe

Construção de um Corretor de Erros Léxicos e um Recuperador de Erros Sintáticos; 1981; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Silvana Bordini Coca

Previsão de Cotas de Rios; 1981; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Sergio Amelio Ribeiro Cintra

Algoritmos para Análise Sintática de Gramáticas Livres de Contexto; 1980; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Sérgio Donizetti Zorzo

Implementação de Algoritmos de Tratamento de Gramáticas livres de Contexto; 1977; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de São Carlos, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Sergio de Mello Schneider;

Produções bibliográficas

SCHNEIDER, S. M. ; CARDOSO, A. . Programação Lógica na Elaboração de Diagramas Unifilares. SIBGRAPH 90, Gramado, RS, 1990.
SCHNEIDER, S. M. ; HESS, L. ; LAMOUNIER JUNIOR, E. . Programação Lógica na Modelagem de Sólidos. II Simpósio Brasileiro de Processamento de Imagens, Águas de Lindóia, SP, 1989.
SCHNEIDER, S. M. ; ROCHA, C. X. . Desenvolvimento de Software Para Projeto e Teste de Circuitos Digitais.. VIII CONGRESSO DE INICIACAO CIENTIFICA E TECNOLOGICA EM ENGENHARIA, São CArlos, SP, p. 0-0, 1989.
SCHNEIDER, S. M. ; RANGEL NETO, J. L. M. . Um Gerador de Analisadores 'R*S'. V SIMPOSIO SOBRE DESENVOLVIMENTO DE SOFTWARE BASICO - UFMG, p. 0-0, 1985.
SCHNEIDER, S. M. ; RANGEL NETO, J. L. M. . Para Uma Linguagem Extensivel, Um Compilador Extensivel, Um Compilador Extensivel ?. Relatório Técnico da UFRJ, 1981, p. 0-0, 1981.
SCHNEIDER, S. M. ; FOINA, P. R. . Ligia-Linguagem Grafica Interativa. VII Seminário de Software e Hardware, CAMPINAS, SAO PAULO, 1980, p. 0-0, 1980.
SCHNEIDER, S. M. ; COSTA, H. B. C. ; FOINA, P. R. . Ensino de Computacao Em Ambiente Hostil Ao Usuario Ix Seminario Sobre Computacao Na Universidade.. XI Seminário de Computação na Universidade, PORTO ALEGRE, RS, 1979, p. 0-0, 1979.
SCHNEIDER, S. M. . Competições Matemáticas. Rio de Janeiro, RJ: Editora Interciência Ltda, 1989.
SCHNEIDER, S. M. ; SARAIVA, J. A. . Embedded Domain Specific Languages in Attribute Grammar Formalism. In: HICSS-36: Hawai`i International Conference on System Sciences, 2003, Waikoloa, Hawaii, USA. Proceedings of the Hawai`i International Conference on System Sciences, 2003.
SCHNEIDER, S. M. . Describing and Testing Arithmetical Circuits in a Functional Language. In: SBMicro, 2003, São Paulo. Anais do SBMicro, 2003.
SCHNEIDER, S. M. ; ALVES, N. M. M. . Implementation of an embedded hardware description language using Haskell. In: VII Simpósio Brasileiro de Linguagens de Programação, 2003, Ouro Preto. Anais do VII Simpósio Brasileiro de Linguagens de Programação. Belo Horizonte: Imprensa Universitária - UFMG, 2003. p. 107-120.
SCHNEIDER, S. M. ; CARDOS, A. ; SILVEIRA, J. C. P. . Programação Lógica na Elaboração de Diagramas Unifilares. In: SIBGRAPH 90, 1990, Gramado, RS. Anais do Simpósio Brasileiro de Computação Gráfica, 1990.
SCHNEIDER, S. M. ; LAMOUNIER JUNIOR, E. ; HESS, L. . Programação Lógica na Modelagem de Sólidos. In: II Simpósio Brasileiro de Processamento de Imagens, 1989, Águas de Lindóia, SP. Anais do II Simpósio Brasileiro de Processamento de Imagens, 1989.
SCHNEIDER, S. M. ; RANGEL NETO, J. L. M. . Um gerador de Analisadores R*S(k). In: V Simpósio para o Desenvolvimento de Software Básico, 1985, Belo Horizonte, MG. Anais do V Simpósio Brasileiro de Software Básico, 1985. p. 150-157.
SCHNEIDER, S. M. ; FOINA, P. R. . LIGIA - Uma Linguagem Gráfica Iterativa. In: 7. Seminário de Software e Hardware, 1980, Campinas, SP. Anais do Congresso da SBC 1980, 1980.
SCHNEIDER, S. M. ; FOINA, P. R. ; COSTA, H. B. C. . Ensino de Programação em Ambiente Hostil ao Usuáio. In: IX Seminário sobre Computação na Universidade, 1979, Porto Alegre, RS. Anais do SECOMU 1979, 1979.
SCHNEIDER, S. M. . Uma LInguagem tipo ALGOL para o Sistema HP-2100A. In: IV Seminário sobre o Desenvolvimento de Software e Hardware, 1977, Belo Horizonte, MG. Anais do IV Seminário sobre o Desenvolvimento de Software e Hardware, 1977.
SCHNEIDER, S. M. . Competições em Matemática. Rio de Janeiro RJ: Editora Interciência Ltda., 1989. (Tradução/Livro).
SCHNEIDER, S. M. ; RANGEL NETO, J. L. M. . Para uma linguagem extensível, um compilador extensível?. Rio de Janeiro: UFRJ, 1981 (Relatório Técnico da UFRJ).

Histórico profissional

Experiência profissional

1992 - 2008

Universidade Federal de Uberlândia

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

Outras informações:
Aposentado pela Universidade Federal de Uberlândia em setembro de 2008.

1991 - 1992

Universidade Federal de Uberlândia

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

1990 - 1991

Universidade Federal de Uberlândia

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

1987 - 1990

Universidade Federal de Uberlândia

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

1985 - 1987

Universidade Federal de Uberlândia

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

Atividades

02/2001 - 12/2008
Direção e administração, Diretoria de Processamento de Dados, .,Cargo ou função, Diretor de Unidade.
03/1988 - 09/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados 2, Introdução à Ciência da Computação 1, Introdução à Ciência da Computação 2, Introdução à Teoria das Filas, Linguagens de programação Sequencial, Linguagens Formais e Autômatos, Organização e Recuperação da Informação, Programação Funcional
02/1995 - 02/1997
Direção e administração, Departamento de Informática, .,Cargo ou função, Chefe de Departamento.
02/1993 - 02/1995
Direção e administração, Programa PET Computação, .,Cargo ou função, Tutor.
08/1985 - 12/1989
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Estruturas de Dados, Construção de Compiladores, Programação Lógica e Funcional, Linguagens Formais, Tópicos Especiais em Eng. Elétrica
05/1986 - 04/1988
Direção e administração, Pró-Reitoria de Planejamento, .,Cargo ou função, Diretor de Unidade.
05/1986 - 04/1988
Direção e administração, Diretoria de Planejamento, .,Cargo ou função, Diretor de Unidade.
08/1985 - 12/1987
Ensino, Graduação em Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Introdução à Programação de Sistemas, Microprocessadores 1, Instrumentos Elétricos

1979 - 1985

Universidade Federal de São Carlos

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

1976 - 1978

Universidade Federal de São Carlos

Vínculo: Servidor público ou celetista, Enquadramento Funcional: PROFESSOR AUX. DE ENSINO, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/1975 - 07/1985
Pesquisa e desenvolvimento , Centro de Ciências Exatas e de Tecnologia, .,Linhas de pesquisa
08/1975 - 07/1985
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Computação, Projeto de Aplicação 2, Projeto de Aplicação 1, Construção de Compiladores 2, Construçào de Compiladores 1, Linguagens Formais e Autômatos 2, Linguagens Formais e Autômatos 1, Linguagens de Programação
02/1979 - 02/1980
Conselhos, Comissões e Consultoria, Conselho de Ensino e Pesquisa, .,Cargo ou função, Conselheiro.
10/1978 - 06/1979
Direção e administração, Centro de Ciências Exatas e de Tecnologia, .,Cargo ou função, Coordenador de Curso.