Vinícius Valente Maciel

Possui graduação em Ciência da Computação pela Universidade Federal de Viçosa (2001) e mestrado em Pós-Graduação em Computação da UFF pela Univesidade Federal Fluminense (2004). Atualmente é sócio da Nox Trading, atuando principalmente nos seguintes temas: trading automatizado, high performance trading e blockchain.

Informações coletadas do Lattes em 21/09/2025

Acadêmico

Formação acadêmica

Doutorado em andamento em UFRJ COPPE-PEE Programa de Engenharia Elétrica

2006 - Atual

Universidade Federal do Rio de Janeiro
Título: Síntese de protocolos utilizando programação genética e model checking
Orientador: Aloysio de Castro Pinto Pedroza
Palavras-chave: Programação Genética; Model Checking; Protocolos de Comunicação.Grande área: EngenhariasGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Mestrado em Pós-Graduação em Computação da UFF

2001 - 2004

Universidade Federal Fluminense
Título: Uma proposta de Mapeamento de Máquinas de Estados Abstratas para Lógica de Reescrita
Orientador: Maria Luiza D´Almeida Sanchez
, Ano de Obtenção: 2004.

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

1996 - 2001

Universidade Federal de Viçosa

Graduação interrompida em 1996 em Engenharia de Alimentos

1993 - Atual

Universidade Federal de Viçosa
Ano de interrupção: 1996

Ensino Médio (2º grau)

1990 - 1993

Coluni - Colégio Universitário

Formação complementar

2004 - 2004

Real-Time Maude Tutorial. (Carga horária: 20h). , Universidade Federal Fluminense, UFF, Brasil.

Idiomas

Inglês

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

Espanhol

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

Produções bibliográficas

OLIVEIRA, Alcione de Paiva ; MACIEL, V. V. . Java na prática, tópicos avançados: RMI CORBA JDBC threads redes servlets JSP. 1. ed. Viçosa: Fábrica de Livros, 2003. 217p .
MACIEL, Andréia Cipriano ; MARCONDES, Carlos Henrique ; MACIEL, V. V. . Software livre para bibliotecas públicas: uma proposta de critérios de avaliação e sua aplicação. 2007. (Apresentação de Trabalho/Outra).
MACIEL, V. V. ; MONNERAT, Nelson Luiz de P. M. . Arquitetura de Software do sistema inercial em desenvolvimento no Instituto de Pesquisas da Marinha (IPQM). 2004. (Apresentação de Trabalho/Simpósio).
MACIEL, V. V. ; SANCHEZ, M. L. D. . A Verifiable and Executable Real-Time Systems Specification Language. 2003. (Apresentação de Trabalho/Simpósio).
BRAGA, M. J. ; MACIEL, V. V. ; PAIVA, José Geraldo Castro . The employment of neural networks in the coffee price forecast. 2000. (Apresentação de Trabalho/Simpósio).
BRAGA, M. J. ; PAIVA, José Geraldo Castro ; MACIEL, V. V. . O emprego de redes neurais na previsão de preços de café. 1999. (Apresentação de Trabalho/Congresso).

Outras produções

MACIEL, V. V. . Modelagem Formal e Implementação em QNX6/Neutrino de Sistemas de Tempo Real - Módulo III - parte I. 2007. .

MACIEL, V. V. . Curso para QNX4. 2007. .

MACIEL, V. V. . Programação em Linguagem C para QNX4. 2007. .

MACIEL, V. V. . Curso de Linguagem C/C++. 2007. .

MACIEL, V. V. . Modelagem Formal e Implementação em QNX6/Neutrino de Sistemas de Tempo Real - Módulo III - parte II. 2007. .

MACIEL, V. V. ; SANCHEZ, M. L. D. . Modelagem Semi - Formal e Implementação em QNX6/Neutrino de Sistemas de Tempo Real - Módulo II -. 2006. .

MACIEL, V. V. . Programação para Tempo Real com QNX6/Neutrino - Módulo I. 2006. .

MACIEL, V. V. . Curso de Programação para Tempo Real com Sistema Operacional QNX6/Neutrino. 2006. .

MACIEL, V. V. . Curso de Configuração e manutenção do Sistema Operacional QNX6/Neutrino. 2006. .

MACIEL, V. V. . Curso de QNX6/Neutrino. 2005. .

MACIEL, V. V. ; SANCHEZ, M. L. D. . Modelagem Formal e Implementação em QNX de Sistemas de Tempo Real - Módulo III - parte II. 2005. .

MACIEL, V. V. ; SANCHEZ, M. L. D. . Modelagem Formal e Implementação em QNX de Sistemas de Tempo Real - Módulo III - parte I. 2005. .

SANCHEZ, M. L. D. ; MACIEL, V. V. . Modelagem Semi - Formal e Implementação em QNX6/Neutrino de Sistemas de Tempo Real - Módulo II. 2005. .

MACIEL, V. V. . Programação para Tempo Real com QNX6/Neutrino - Módulo I. 2005. .

MACIEL, V. V. ; SANCHEZ, M. L. D. . Modelagem Formal e Implementação em QNX de Sistemas de Tempo Real. 2005. (Desenvolvimento de material didático ou instrucional - Apostila).

SANCHEZ, M. L. D. ; MACIEL, V. V. . Modelagem Semi - Formal e Implementação em QNX6/Neutrino de Sistemas de Tempo Real. 2005. (Desenvolvimento de material didático ou instrucional - Apostila).

MACIEL, V. V. . Programação com Photon Application Builder. 2004. .

MACIEL, V. V. . Programação para Tempo Real com QNX6/Neutrino. 2004. .

MACIEL, V. V. . Capacitação para Desenvolvimento em Ambiente QNX6/Neutrino. 2004. .

MACIEL, V. V. . Programação de Tempo Real com QNX Momentics. 2004. (Desenvolvimento de material didático ou instrucional - Apostila).

MACIEL, V. V. . Cursos de extensão de Java e Desenvolvimento Java para WEB. 2002. (Curso de curta duração ministrado/Extensão).

Histórico profissional

Endereço profissional

CM Software. , Praça José Maciel, 38, Centro, 36576000 - Porto Firme, MG - Brasil, Telefone: (31) 38931218

Experiência profissional

2009 - Atual

CPT Software

Vínculo: Sócio Diretor], Enquadramento Funcional: Sócio Diretor

2000 - Atual

CM Software

Vínculo: Sócio Diretor, Enquadramento Funcional: Sócio Diretor

2000 - Atual

INFX Infax Tecnologia e Sistemas

Vínculo: Analista de Sistemas, Enquadramento Funcional: Gerente de Desenvolvimento

Atividades

09/2000 - 05/2008
Pesquisa e desenvolvimento, Desenvolvimento.Linhas de pesquisa
09/2000 - 05/2008
Treinamentos ministrados , Desenvolvimento.Treinamentos ministrados, Modelagem Semi-Formal e Implementação em QNX6/Neutrino de Sistemas de Tempo Real, Arquitetura e Configuração do QNX/Neutrino, Curso de Linguagem C/C++, Curso de QNX4, Desenvolvimento de Interface Homem Máquina com QNX Photon, Desenvolvimento de Sistemas de Tempo Real em QNX/Neutrino, Modelagem Formal de Sistemas, Modelagem Formal e Implementação em QNX 6/Neutrino de Sistemas de Tempo Real

1996 - 2000

McM Consultoria & Assessoria Ltda

Vínculo: Diretor de Informática, Enquadramento Funcional: Analista de Sistema

Atividades

01/1996 - 06/2000
Direção e administração, Administração.Cargo ou função, Diretor de Informática.
01/1996 - 06/2000
Pesquisa e desenvolvimento, Desenvolvimento.Linhas de pesquisa

1999 - 2000

Divisão de Ensino Agrícola Arthur Bernardes

Vínculo: Professor, Enquadramento Funcional: Professor

Outras informações:
Professor de Processamento de Dados na Divisão de Ensino Agrícola Arthur Bernades (DEAAB) Viçosa - MG

Atividades

01/1999 - 01/2000
Ensino,Disciplinas ministradas, Processamento de Dados

2019 - Atual

Nox Trading

Vínculo: Engenheiro de Software, Enquadramento Funcional: CTO, Carga horária: 40