Juarez Assumpção Muylaert Filho

Possui graduação em Matemática pela Universidade do Estado do Rio de Janeiro(1985), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro(1989) e doutorado em Computing pela University of London(1994). Atualmente é Professor Adjunto da Universidade do Estado do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Abstract Interpretation, Denotational Semantics, Continuation Passing Style.

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

Acadêmico

Formação acadêmica

Doutorado em Computing

1990 - 1994

University of London
Título: Abstract Intepretation in Continuation Passing Style
Orientador: Chris Hankin
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Abstract Interpretation; Denotational Semantics; Continuation Passing Style.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: Outros.

Mestrado em Engenharia de Sistemas e Computação

1986 - 1989

Universidade Federal do Rio de Janeiro
Edil Severiano Tavares Fernandes.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Cálculo Lambda; Programação Funcional; Redução Normal de Grafos.Grande á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).

Graduação em Matemática

1982 - 1985

Universidade do Estado do Rio de Janeiro

Idiomas

Inglê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 / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Orientou

Antônio Espósito Júnior

Cálculo Numérico via Teoria de Domínios (Uma Aplicação da Derivada Informática); 2003; 77 f; Dissertação (Mestrado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro,; Orientador: Juarez Assumpção Muylaert Filho;

Rodrigo Reis Gomes

Números Reais Computacionalmente Exatos na Linguagem de Programação C Padrão ANSI; 2003; 80 f; Dissertação (Mestrado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesq; do Estado do Rio de Janeiro; Orientador: Juarez Assumpção Muylaert Filho;

João Bosco Bezerra de Farias

Domínios Vetoriais; 2002; 60 f; Dissertação (Mestrado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro,; Orientador: Juarez Assumpção Muylaert Filho;

Ruy Silva do Amaral

O Teorema de Banach-Steinhaus em Teoria de Domínios; 2002; 60 f; Dissertação (Mestrado em Modelagem Computacional) - Universidade do Estado do Rio de Janeiro,; Orientador: Juarez Assumpção Muylaert Filho;

Produções bibliográficas

MUYLAERT FILHO, Juarez Assumpção ; Edil S. T. Fernandes . Microprogrammed Implementation of a Reduction Machine. Microprocessing and Microprogramming , 1989.
MUYLAERT FILHO, Juarez Assumpção ; ESPÓSITO JUNIOR, Antônio . Estudo da Convergência do Operador de Picard em Teoria dos Domínios. In: VII Encontro de Modelagem Computacional, 2005, Nova Friburgo. Annais do VII Encontro de Modelagem Computacional, 2005.
ESPÓSITO JUNIOR, Antônio ; MUYLAERT FILHO, Juarez Assumpção . Modelando Métodos Numéricos com Domínios Potência. In: VII Encontro de Modelagem Computacional, 2004, Nova Friburgo. VII Encontro de Modelagem Computacional, 2004. v. 1. p. 50-55.
ESPÓSITO JUNIOR, Antônio ; MUYLAERT FILHO, Juarez Assumpção . Cálculo Numérico via Teoria de Domínios (Uma Aplicação da Derivada Informática). In: VI Encontro de Modelagem Computacional, 2003, Nova Friburgo. Anais do VI Encontro de Modelagem Computacional, 2003. v. 1. p. 15-25.
G. A. L. Paillard ; F. M. G. França ; MUYLAERT FILHO, Juarez Assumpção . A Distributed Implementation of Structured Gamma. In: The International Conference on Parallel And Distributed Systems - ICPADS 2001, 2001, KyongJu City. Proc. of The International Conference on Parallel And Distributed Systems - ICPADS 2001, 2001. p. 445-450.
G. A. L. Paillard ; F. M. G. França ; MUYLAERT FILHO, Juarez Assumpção . Uma Proposta de um Escalonador para Gamma. In: I Workshop em Sistemas Computacionais de Alto Desempenho (em conjunto com o SBAC-PAD'2001), 2001, Pirenópolis. Anais do II Workshop em Sistemas Computacionais de Alto Desempenho (em conjunto com o SBAC-PAD'2001), 2001. p. 47-54.
D. Cohen ; MUYLAERT FILHO, Juarez Assumpção . Introducing a Calculus for Higher-Order Multiset Programming. In: Coordination Languages and Models, First International Conference,, 1996, Cesena. Lecture Notes in Computer Science, 1996. v. 1061. p. 124-141.
MUYLAERT FILHO, Juarez Assumpção . Continuation Strictness Analysis of Lists. In: Theory and Formal Methods 1994, 1994. Annals of Theory and Formal Methods 1994, 1995.
MUYLAERT FILHO, Juarez Assumpção ; G. L. Burn . Continuation Passing Transformation and Abstract Interpretation. In: Theory and Formal Methods 1993: Proceedings of the First Imperial Collegel Workshop on Theory and Formal Methods, 1993, Isle of Thorns. Imperial College technical report no. Doc 93/35, 1993.

Histórico profissional

Endereço profissional

Universidade do Estado do Rio de Janeiro, Instituto de Engenharia, Instituto Politécnico. , Rua Alberto Rangel S/N, Duas Pedras, 28601970 - Nova Friburgo, RJ - Brasil - Caixa-postal: 97282, Telefone: (22) 25288545, Ramal: 242, Fax: (22) 25288536, URL da Homepage:

Experiência profissional

2003 - Atual

Universidade do Estado do Rio de Janeiro

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

Atividades

01/2003
Ensino, Engenharia Mecânica, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de dados, Modelagem Computacional I
01/2003
Ensino, Modelagem Computacional, Nível: Pós-Graduação,Disciplinas ministradas, Técnicas Computacionais