josé romildo malaquias

Possui graduação em Engenharia Eletrica pela Universidade Federal de Uberlândia (1991), mestrado em Engenharia Eletrônica e Computação pelo Instituto Tecnológico de Aeronáutica (2001) e doutorado em Engenharia Elétrica pela Universidade Federal de Uberlândia (2007). Atualmente é professor terceiro grau da Universidade Federal de Ouro Preto. Tem experiência na área de Ciência da Computação, com ênfase em Matemática Simbólica

Informações coletadas do Lattes em 16/06/2023

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

2001 - 2007

Universidade Federal de Uberlândia
Título: Computer Algebra in Modern Functional Languages - Part II
Orientador: Antônio Eduardo Costa Pereira
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Computer Algebra; Functional Programming.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica. 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: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.

Mestrado em Engenharia Eletrônica e Computação

1991 - 2001

Instituto Tecnológico de Aeronáutica
Celso de Renna e Souza.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Computer Algebra; Functional Programming.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial. 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: Matemática da Computação / Especialidade: Matemática Simbólica.

Graduação em Engenharia Eletrica

1986 - 1991

Universidade Federal de Uberlândia

Idiomas

Inglês

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

Português

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

Francês

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

Alemão

Lê Pouco, Escreve Pouco.

Áreas de atuação

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Inteligência Artificial.

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.

Participação em eventos

SIC UFOP.Simplificação de Expressões Booleanas. 2011. (Seminário).

Orientou

Ana Carolina Lisboa Malaquias

Simplificação de Expressões Booleanas; Início: 2011; Iniciação científica (Graduando em Técnico em Automação Industrial) - Instituto Federal Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Ana Carolina dos Santos Teixeira

Filipe Alves Bento

Produções bibliográficas

MALAQUIAS, J. R. . Implementing a computer algebra system in Haskell. Applied Mathematics and Computation , v. 192, p. 120-134, 2007.
MALAQUIAS, J. R. ; AZEVEDO, T. R. B. ; MALAQUIAS, N. G. L. . Otimização de Rotas de Distribuição Usando Algoritmos Genéticos. The Journal of e-Working , 2008.

Projetos de pesquisa

2010 - 2012

Simplificação de Expressões Booleanas, Descrição: Estudo de programação de computadores e desenvolvimento de um sistema para simplificação de expressões boolenas.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Romildo Malaquias - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Histórico profissional

Endereço profissional

Universidade Federal de Ouro Preto, Instituto de Ciências Exatas e Biológicas, Departamento de Computação. , Campus Universitário, Morro do Cruzeiro, 35400-000 - Ouro Preto, MG - Brasil, Telefone: (31) 35591660, URL da Homepage:

Experiência profissional

1994 - Atual

Universidade Federal de Ouro Preto

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

Atividades

08/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores 1, Programação Funcional
07/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas e Biológicas, .,Cargo ou função, Comissão permanente de monitoria do Departamento de Computação..
03/2006
Direção e administração, Instituto de Ciências Exatas e Biológicas, .,Cargo ou função, Coordenador de Curso.
01/2006
Pesquisa e desenvolvimento , Instituto de Ciências Exatas e Biológicas, Departamento de Computação.,Linhas de pesquisa
01/2011 - 07/2011
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I
01/2011 - 07/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores 1, Programação Orientada a Objetos, Programação Funcional
08/2010 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I, Programação Orientada a Objetos
02/2010 - 07/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação em Lógica, Construção de Compiladores
01/2010 - 07/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores 1, Programação Funcional, Programação Orientada a Objetos
08/2009 - 12/2009
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação em Lógica, Programação de Computadores I
02/2009 - 07/2009
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Programação
07/2007 - 12/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas e Biológicas, .,Cargo ou função, Comissão para elaboração do planejamento do espaço físico do ICEB..
02/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores, Introdução à Programação
08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Técninas de Programação I
07/2006 - 12/2007
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas e Biológicas, .,Cargo ou função, Comissão de avaliação de estágio probatório do Prof. Ricardo de Oliveira Duarte..
02/2007 - 07/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores
08/2006 - 12/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Técnicas de Programação I, Construção de Compiladores
10/2006 - 11/2006
Direção e administração, Instituto de Ciências Exatas e Biológicas, .,Cargo ou função, Chefe de Departamento.
02/2006 - 07/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores
01/1994 - 07/2001
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Inteligência Artificial, Circuitos Digitais, Conceitos e Paradigmas de Linguagens de Programação, Matemática Discreta, Organização de Computadores, Pesquisa Operacional, Programação Funcional, Programação Lógica
03/2000 - 09/2000
Serviços técnicos especializados , Núcelo de Tecnologia da Informação, .,Serviço realizado, Assessoria da Diretoria do CPD..
08/1994 - 01/1995
Direção e administração, Instituto de Ciências Exatas e Biológicas, .,Cargo ou função, Chefe do laboratório de computação do ICEB..