Marcelo Monteiro Custódio

Possui Mestrado em Informática na área de Sistemas Embarcados e de Tempo Real e Bacharelado em Ciência da Computação pela Universidade Federal do Amazonas (UFAM). Foi programador concursado no Ministério Público do Estado do Amazonas (MPE/AM) e atualmente é Analista de Sistemas também concursado no Tribunal Regional do Trabalho (TRT) da 11a região. Tem experiência profissional na área de Sistemas de Informação e Sistemas Embarcados e de Tempo Real.

Informações coletadas do Lattes em 30/10/2022

Acadêmico

Formação acadêmica

Mestrado em Informática

2006 - 2008

Universidade Federal do Amazonas
Raimundo da Silva Barreto.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Embedded Real-time Software synthesis; Embedded Systems; Real-time Scheduling; Real-time Systems; Logics; Constraint Satisfaction Problem. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial / Especialidade: Problema de Satisfação de Retrições. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Embarcados. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware.

Graduação em Ciência da Computação

2000 - 2005

Universidade Federal do Amazonas
Orientador: Raimundo da Silva Barreto

Curso técnico/profissionalizante

1997 - 1999

Fundação de Ensino e Pesquisa Matias Machline

Idiomas

Inglês

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

Espanhol

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

Portuguê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: Sistemas Embarcados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Verificação Formal.

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: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Linguagens de Programação/Especialidade: Java EE.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Linguagens de Programação/Especialidade: Scrum.

Produções bibliográficas

Custódio, M. ; R. Barreto ; R. Caldas . A Logics-based Scheduling Method for Hard Real-Time Embedded Systems with Multiple Processors. In: 9th Workshop on Real-Time Systems, 2007, Belém. 9th Workshop on Real-Time Systems, 2007.
E. Tavares ; P. Maciel ; M. Oliveira ; R. Barreto ; R. Freitas ; CUSTÓDIO, M. M. . Pre-Runtime Scheduling considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. In: 5th IFIP Working Conference on Distributed and Parallel Embedded Systems - DIPES 2006, 2006, Braga. 5th IFIP Working Conference on Distributed and Parallel Embedded Systems - DIPES 2006, 2006.
R. Barreto ; P. Maciel ; E. Tavares ; Custódio, Marcelo ; R. Freitas ; M. Oliveira . A Formal Modeling for Embedded Hard Real-Time Systems. In: 8th Brazilian Workshop on Real-Time Systems (WTR'2006), 2006, Curitiba. 8th Brazilian Workshop on Real-Time Systems (WTR'2006), 2006.
Custódio, M. ; R. Barreto ; R. Caldas . 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 Work-in-Progress, 2006.

Outras produções

CUSTÓDIO, M. M. . Novidades do Java 5. 2005. (Palestra Técnica).

Histórico profissional

Endereço profissional

Tribunal Regional do Trabalho 11a Região, SETI. , Rua Visconde de Porto Alegre, Praça 14 de Janeiro, 69020-130 - Manaus, AM - Brasil

Experiência profissional

2008 - Atual

Tribunal Regional do Trabalho 11a Região

Vínculo: Servidor Público, Enquadramento Funcional: Analista Judiciário, especialidade TI, Carga horária: 35

Outras informações:
Analista de Sistemas

2007 - 2008

Ministério Público do Estado do Amazonas

Vínculo: Servidor Público, Enquadramento Funcional: Agente de Apoio em Microinformática, Carga horária: 30

Outras informações:
Atuei como desenvolvedor Java.

Atividades

05/2007
Serviços técnicos especializados , Procuradoria Geral de Justiça, Departamento de TI e Comunicação.,Serviço realizado, Desenvolvimento Java para Web.

2004 - 2005

WHG Engenharia e Consultoria

Vínculo: Prestador de Serviço, Enquadramento Funcional: Prestador de Serviço, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2004 - 02/2005
Serviços técnicos especializados , Desenvolvimento, .,Serviço realizado, Desenvolvimento de aplicações Web baseadas em JavaServer Faces.

2003 - 2004

Núcleo de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e de Info.

Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20

Atividades

11/2003 - 07/2004
Estágios .,Estágio realizado, Desenvolvimento de software embarcado para plataforma C++ Symbian. Projeto do INdT.

2000 - 2001

Prefeitura Municipal de Manaus

Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20

Outras informações:
Estágio no Centro de Informática da SEMEF (Rua Joaquim Nabuco)

Atividades

10/2000 - 03/2001
Estágios , Centro de Informática da SEMEF, .,Estágio realizado, Desenvolvimento Delphi/Oracle.

2000 - 2000

Universidade Federal do Amazonas

Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20

Outras informações:
Desenvolvimento Delphi/Oracle

Atividades

01/2000 - 09/2000
Estágios , Centro de Processamento de Dados, .,Estágio realizado, Desenvolvimento Delphi/Oracle.