Ruiter Braga Caldas

Graduado em Processamento de Dados pela Universidade Federal do Amazonas (1991). Especialização em Ciência da Computação pela Universidade Federal do Amazonas/IBM Brasil (1992). Mestre em Ciência da Computação pela Universidade Federal de Minas Gerais (1996). Doutor em Ciência da Computação pela Universidade Federal de Minas Gerais (2009). Professor Associado da Universidade Federal do Amazonas. Ocupou o cargo de Diretor do Instituto de Computação da Universidade Federal do Amazonas -IComp/UFAM(2011-2017). Atua na área de Ciência da Computação, com ênfase em Aprendizagem de Máquina, Sistemas Formais, Sistemas Operacionais, Sistemas Reativos, Sistemas Embarcados, Sistemas de Tempo Real e Low Power, Sistemas Cyber-Físicos, Geração Automática de Código e Verificação de Sistemas.

Informações coletadas do Lattes em 17/04/2026

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2003 - 2009

Universidade Federal de Minas Gerais
Título: Modelagem, Verificação Formal e Codificação de Sistemas Reativos Autônomos
, Ano de obtenção: 2009. Sergio Vale Aguiar Campos. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Modelo Formal; Geração Automática de Código; Sistemas Embarcados; verificação formal.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: Arquitetura de Sistemas de Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas Reativos. Setores de atividade: Consultoria em Sistemas de Informática; Atividades dos serviços de tecnologia da informação; Atividades de prestação de serviços de informação.

Mestrado em Ciências da Computação

1994 - 1996

Universidade Federal de Minas Gerais
Título: Um Compilador de Exceções para Otimização de Programas em Lógica Baseados no Paradigma de Geração e Teste, Ano de Obtenção: 1996
Orientador: José Lopes de Siqueira Neto
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Compilador; Program em Lógica; Geração e Teste.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. Setores de atividade: Informática.

Especialização em Especialização em Novas Tecnologias Educacionais

1991 - 1992

Universidade Federal do Amazonas

Graduação em Bacharelado Em Processamento de Dados

1987 - 1991

Universidade Federal do Amazonas

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Francês

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

Á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: 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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulaçã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: 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: Computabilidade e Modelos de Computação.

Participação em bancas

Aluno: Marco Aurélio dos Santos

BARRETO, R. S.; H.A.B.F.;CALDAS, R. B.. Localização em ambientes internos utilizando PDR, Wi-Fi e RFID. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Amazonas.

Aluno: Eduardo Bezerra Valentin

BARRETO, R. S.CALDAS, R. B.; Souto, E.J.P.. Smartenum: Algoritmo Branch-And-Bound Para Determinação de Frequências Ótimas em Sistemas com Escala Dinâmica de Tensão e Frequência. 2010. Dissertação (Mestrado em Ciências da Comunicação) - Universidade Federal do Amazonas.

Aluno: Marcelo Ferreira de Aquino

CALDAS, R. B.BARRETO, R. S.; Carvalho, José R.H.. Uso de Técnicas de Aprendizado de Máquina para Classifição do Perfil do Motorista Usando Dados Veiculares. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

Aluno: Thiago Oliveira da Silva

BARRETO, R. S.CALDAS, R. B.. Uma abordagem baseada em jogos para aplicar o pensamento computacional em estudantes do ensino fundamental. 2017. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal do Amazonas.

Aluno: Anderson Araujo da Cruz

BARRETO, R. S.CALDAS, R. B.; SILVA, V. J.. Avaliando sinais fisiológicos para reconhecimento de emoção em sessões de vídeos. 2016. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal do Amazonas.

Aluno: Erick Rego Cruz

BARRETO, R. S.CALDAS, R. B.; SILVA, V. J.. On the Use of Inertial Sensors and Machine Learning for Automatic Recognition of Fainting and Epileptic Seizure. 2016. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal do Amazonas.

Aluno: Weider Serruia dos Santos

BARRETO, R. S.CALDAS, R. B.. Lobo Móvel Controlado Remotamente com Transmissão de Vídeo para Inspeção de Ambientes Hostis. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

Aluno: Carlos Bruno Oliveira Lopes

CALDAS, R. B.; SILVA, V. J.; LUCENA JUNIOR, V. F.; MAIA, O. B.. Automação Residencial: Servidor Remoto para Acesso a Dspositivos Residencais. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

Aluno: Diana Caldas Façanha

CALDAS, R. B.; Costa, Marly; Costa Filho, Cícero. Comparação de Arquiteturas de Redes Neurais no Desempenho de Reconhecimento de Caracteres. 2009. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

Aluno: Rebeca de Azevedo Correa

CALDAS, R. B.; RODRIGUES, R. F.; CAVALCANTE, S. M.. NorteInfo: Revista WEB do DCC/UA. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Maria Luciana F

CALDAS, R. B.; CAVALCANTE, S. M. A.; RODRIGUES, R. F.. da Costa.Estudo sobre desenvolviemnto de Aplicativos de banco de Dados Baseados em Componentes Java utilizando EJB para a Internet. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Keyla Ahnizeret da Silva Cunha

CALDAS, R. B.; RODRIGUES, R. F.; CAVALCANTE, S. M. A.; LIMA, R. V.. Uma Aplicação WEB para o RU-UA Utilizando WSDM como apoio da UML. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Daniel Ribeiro Fernandes

CALDAS, R. B.; RODRIGUES, R. F.; CAVALCANTE, S. M. A.. CAÇA EGRESSOS - Busca de Informações na WEB Utilizando Times Assíncronos. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Carlos Henrique de Santana Moreira

CALDAS, R. B.; CAVALCANTE, S. M. A.; MAGALHÃES NETTO, J. F.. Segurança no acesso a sistemas de Informação - Um estudo de caso com o sistema de controle acadêmico da Universidade do Amazonas. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Emanuelle Elena da Silva Gomes

CALDAS, R. B.; CASTRO JUNIOR, A. N.; MAGALHÃES NETTO, J. F.. Busca Híbrida via WEB. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Humberto Figlioulo Júnior

CALDAS, R. B.; RODRIGUES, R. F.; SILVEIRA, E. B.; RAMOS, P. A. A.. Ambientes Colaborativos ba Plataforma Domino/Notes bo ICE/UA. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Gustavo Cassa de Araújo

CALDAS, R. B.; RODRIGUES, R. F.; CAVALCANTE, S. M. A.. Um Framework para Planejamento e Implantação de Empresas Júnior. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Raphael Rodrigues de Sant´anna

CALDAS, R. B.; CAVALCANTE, S. M. A.; MAGALHÃES NETTO, J. F.. Sistema de Publicação de Classificação na WEB utilizando UML. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Valéria Cristina Pelinzzer Cauper Monteiro

CALDAS, R. B.; CAVALCANTE, S. M. A.; RODRIGUES, R. F.. Sisca Para WEB : Gerência de Projetos com UML. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Anne Caroline Mendonça de Aguiar

CALDAS, R. B.; MAGALHÃES NETTO, J. F.; CAVALCANTE, S. M. A.. Gerenciamento de Projetos Através do Personal Software Process. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Márcio de Oliveira Gonçalves

CALDAS, R. B.; CAVALCANTE, S. M. A.; CASTRO JUNIOR, A. N.. Tecnologias para o Desenvolvimento do Comércio Eletrônico. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Rodrigo Camelo de Oliveira

PIO, J. L. S.;CALDAS, R. B.. .Estudo, Análise e Implementação de Técnicas de Limiarização para Segmentação de Imagens em Tons de Cinza, do aluno Rodrigo Camelo de Oliveira.. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Joice da Silva Carvalho

CALDAS, R. B.; CASTRO JUNIOR, A. N.. Aplicação de Engenharia de Software em Inteligência Artificial: Uma Abordagem Metodológica. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Helca Karen Puget de Oliveira

CALDAS, R. B.; CAVALCANTE, S. M. A.. Uma Proposta de Metodologia de Desenvolvimento de Software Orientado a Objetos. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Aluno: Gerson Luiz Martins dos Santos

CALDAS, R. B.BARRETO, R. S.; RODRIGUES, R. F.. Estudo de Métodos de Criptografia Computacional. 1998. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas.

Cavalcanti, Francisca M. C.; Silva, Heloisa C. da;CALDAS, R. B.. Comissão de Concurso para Carreira de Megistérios Superior. 2009. Universidade Federal do Amazonas.

CALDAS, R. B.; MAGALHÃES NETTO, J. F.; CAVALCANTE, S. M. A.. Comissão de Seleção para Professor Substituto. 2001. Universidade Federal do Amazonas.

Orientou

Luan Serra Tavares

Desenvolvimento de Células Fotovoltaicas utilizando Elementos Regionais e Refugo Eletrônico; Início: 2018; Iniciação científica (Graduando em Engenharia de Computação) - Universidade do Estado do Amazonas; (Orientador);

Pedro Araújo do Valle

Estudo de uma Metodologia de Segurança para a Rede da Universidade do Amazonas; 2002; 131 f; Monografia; (Aperfeiçoamento/Especialização em Especialização em Novas Tecnologias Educacionais) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Caio Roberto de Souza Cunha

CLOUD COMPUTING: UTILIZANDO FERRAMENTAS PARA GERENCIAR E MODERNIZAR O ACESSO A DOCUMENTOS E REGISTROS ACADÊMICOS; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Jeferson Bentes da Costa

AUTOMAÇÃO RESIDENCIAL: CONTROLANDO PONTOS DE ENERGIA REMOTAMENTE; 2015; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Rene Ferreira La Spina Dourado

SISTEMA PARA AUTOMAÇÃO RESIDENCIAL ATRAVÉS DE UM SERVIDOR WEB; 2013; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Afonso Rebelo de Castro

Sistemas de Detecção de Intrusão - Coleta de Evidências com Validade Jurídica em Arquivos de Registro; 2002; 146 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Marcelle Cristina Gonçalves Costa

Ambiente de Visualização da Execução de Autômatos Finitos Não Deterministicos; 2002; 100 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Marco Antonio de Oliveira Domingues

Uma ferramenta de apoio à gerência de redes usando Java, VRML e SNMP; 2001; 55 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Henry Mendes Liang

Sistema de Controle e Registro de Atividades Acadêmicas; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Fabio Bonfim Migueis Correia

Estudo e Desenvolvimento de Sistemas Computacionais-Sistema de Acompanhamento de Projetos Acadêmicos; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Jorge Yoshio Kanda

Estudo e Implementação de Algortimos Básicos para Dedução Automática de Teoremas; 1996; 57 f; Trabalho de Conclusão de Curso; (Graduação em Especialização em Novas Tecnologias Educacionais) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Luan Serra Tavares

Desenvolvimento de Células Fotovoltaicas utilizando Elementos Regionais e Refugo Eletrônico; 2018; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade do Estado do Amazonas; Orientador: Ruiter Braga Caldas;

Mery Jhennefer Pinheiro de Azevedo

Compartilhamento de Informações utilizando ultra-som Com aplicações na Robótica; 2015; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Carla Laíssa Alves do Nascimento

Sistema de Transmissão e Recepção de Comandos por Dados Infrassônicos Aplicados na Robótica; 2015; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Juscelino Tanaka Saraiva

Sistema para Automação Residencial por meio de Mensagens SMS - SARMen; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Rene Ferreira La Spina Dourado

Sistema para Automação Residencial através de um Servidor Web - SARWeb; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Amazonas; Orientador: Ruiter Braga Caldas;

Fábio Bonfim

Estudo e Desenvolvimento de Sistemas Computacionais-Sistema de Acompanhamento de Projetos Acadêmicos; 1998; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ruiter Braga Caldas;

Juliana Marreiro

Um estudo das metodologias de resolução de problemas e desenvolvimento de algoritmos; 1997; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ruiter Braga Caldas;

Roose Diane Padilha

A Internet como Ferramenta de Ensino; 1997; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ruiter Braga Caldas;

Henry Mendes Liang

Sistema de Controle e Registro de Atividades Acadêmicas,; 1997; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Processamento de Dados) - Universidade Federal do Amazonas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ruiter Braga Caldas;

Produções bibliográficas

  • CALDAS, R. B. ; CORRÊA JR, Fábio L. ; NACIF, José Augusto ; ROQUE, Thiago R. ; RUIZ, Linnyer B. ; FERNANDES, Antônio O. ; MATA, José M. da ; COELHO JR, Claudionor . Low Power/High Performance Self-Adapting Sensor Node Architecture. Low Power/High Performance Self-Adapting Sensor Node Architecture , Italy, v. 2, p. 973-976, 2005.

  • CALDAS, R. B. ; CORRÊA JR, Fábio L. ; NACIF, José Augusto ; ROQUE, Thiago R. ; RUIZ, Linnyer B. ; FERNANDES, Antônio O. ; COELHO JR, Claudionor . Reconfigurable Sensor Node for Low Power/High Performance Applications. Ifip International Conference On Very Large Scale Integration Systems Vlsi Soc, Austrália, 2005.

  • DE CARVALHO, JOETHE MORAES ; LIMA, JOSIAS GOMES ; DE MAGALHAES NETTO, JOSE FRANCISCO ; Caldas, Ruiter Braga . RPOIA: A Method of Selecting Learning Objects Using Petri Nets. In: 2020 IEEE Frontiers in Education Conference (FIE), 2020, Uppsala. 2020 IEEE Frontiers in Education Conference (FIE), 2020. p. 1.

  • CALDAS, R. B. ; BARRETO, R. S. ; Cordeiro, L. ; Campos, S. . A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In: IADIS International Conference Applied Computing, 2011, Rio de Janeiro. Proceedings of the IADIS International Conference Applied Computing, 2011.

  • CALDAS, R. B. ; Carvalho, E. ; BARRETO, R. S. ; J. E. Chaves Filho . Otimização de Seqüências de Montagem SMD usando Algoritmo Memético. In: XVII Congresso Brasileiro de Automática (CBA), 2008, Juiz de Fora. Congresso Brasileiro de Automática, 2008.

  • M. Aguiar ; BARRETO, R. S. ; CALDAS, R. B. ; J. E. Chaves Filho . Modeling and Analysis of Flexible Manufacturing Systems through Hierarchical and Colored Petri Nets. In: International Conference on Industrial Technology (ICIT'08), 2008, Chengdu. International Conference on Industrial Technology, 2008.

  • CALDAS, R. B. ; BARRETO, R. S. ; Campos, S. . On the use of X-machine Formal Model to Design Sensor Network Applications. In: IEEE Symposium on Industrial Embedded Systems (SIES2008)-Work In Progress, 2008. Symposium on Industrial Embedded Systems, 2008.

  • Custódio, M. ; BARRETO, R. S. ; CALDAS, R. B. . A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling. In: 9th Workshop on Real-Time Systems WTR'07. In conjunction with the 25th Brazilian Symposium on Computer Networks, 2007, Belém. 9th Workshop on Real-Time Systems, 2007.

  • Custódio, M. ; BARRETO, R. S. ; CALDAS, R. B. . An Automated Theorem Proving Method for Scheduling Embedded Hard Real-time Systems. In: 27th IEEE Real-Time Systems Symposium- Work-in-Progress, 2006, Rio de Janeiro. 27th IEEE Real-Time Systems Symposium, 2006.

Histórico profissional

Endereço profissional

  • Universidade Federal do Amazonas, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Av. General Rodrigo Otávio Jordão Ramos- 3000, Campus Universitário, Aleixo, 69077-000 - Manaus, AM - Brasil, Telefone: (92) 33052811, Fax: (92) 33052809, URL da Homepage:

Experiência profissional

1992 - Atual

Universidade Federal do Amazonas

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

Atividades

  • 04/2003

    Outras atividades técnico-científicas , Instituto de Ciências Exatas, Instituto de Ciências Exatas.Atividade realizada, Doutorado em Ciência da Computação.

  • 06/2001 - 05/2003

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.Cargo ou função, Cargo administrativo.

  • 05/1999 - 05/2003

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.Cargo ou função, Coordenador de Programa.

  • 01/2002 - 03/2003

    Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.Cargo ou função, Membro de comissão temporária.

  • 09/2001 - 03/2003

    Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.Cargo ou função, Membro de comissão.

  • 06/2002 - 02/2003

    Ensino, Especialização em Novas Tecnologias Educacionais, Nível: EspecializaçãoDisciplinas ministradas, Sistemas de Computação

  • 08/1992 - 02/2003

    Ensino, Bacharelado Em Processamento de Dados, Nível: GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação, Programação Sistemática e Algoritmos, Organização de Computadores, Projeto e Análise de Algoritmos, Sistemas Operacionais, Introdução a Ciência dos Computadores, Introdução ao Processamento de Dados, Empreendimentos em Informática, Cálculo Numérico, Arquitetura de Computadores, Projeto de Programas, Compiladores, Introdução a CIência da Computação - Programação Funcional

  • 08/2002 - 01/2003

    Ensino, Especialização em Novas Tecnologias Educacionais, Nível: EspecializaçãoDisciplinas ministradas, Introdução a Informática

  • 02/2000 - 12/2002

    Ensino, Especialização em Novas Tecnologias Educacionais, Nível: EspecializaçãoDisciplinas ministradas, Arquitetura de Computadores, Análise de Sistemas Orientada por Objetos, Sistemas de Computação

  • 02/2000 - 12/2002

    Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.Atividade de extensão realizada, Cálculo Numérico para curso de Matemática no Interior.

  • 06/1992 - 12/2002

    Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.Atividade de extensão realizada, Curso de Introdução a Ciência dos Computadores para Curso de Matemática no Interior.

  • 02/2000 - 06/2001

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.Cargo ou função, Chefe de Departamento.

  • 08/1997 - 09/1998

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.Cargo ou função, Chefe de Departamento.

  • 11/1996 - 07/1997

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.Cargo ou função, Cargo administrativo.

  • 02/1993 - 02/1994

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.Cargo ou função, Coordenador de Curso.