Vinicius Gravina da Rocha

Atualmente é Mestrando na Engenharia de Automacão e Sistemas pela Universidade Federal de Santa Catarina. Possui graduação em Engenharia Mecânica pela Universidade Federal do Rio Grande do Sul (2009) com duplo diploma na École Centrale de Nantes (2007).

Informações coletadas do Lattes em 31/12/2025

Acadêmico

Formação acadêmica

Mestrado em andamento em Engenharia de Automação e Sistemas

2010 - Atual

Universidade Federal de Santa Catarina
Eduardo Camponogara.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: verificação formal.

Graduação em Engenharia Mecânica

2003 - 2009

Universidade Federal do Rio Grande do Sul
Orientador: Dr. Paulo Smith Schneider

Graduação em Ingénieur Généraliste en Double Diplôme

2005 - 2008

Ecole Centrale de Nantes, EC/Nantes
Orientador: Nicole Belluot
Bolsista do(a): Égide.

Formação complementar

2009 - 2009

Projetista Solar. (Carga horária: 16h). , Instituto Ekos Brasil.

2009 - 2009

Introducao ao Mercado de Capitais. (Carga horária: 34h). , Associacao dos Analistas e Profissionais de Investimento do Mercado de Capi.

2008 - 2008

Maratona de Empreendedorismo. (Carga horária: 60h). , UFRGS-Sedetec.

2006 - 2006

Brevet de Initiation Aeronautique. (Carga horária: 36h). , Academie de Nantes.

2004 - 2004

Extensão universitária em Operacao e Programacao em calculadoras HP G Series. (Carga horária: 16h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

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.

Francês

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

Alemão

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

Participação em eventos

20th International Congress of Mechanical Engineering. 2009. (Congresso).

XI Competicao SAE Brasil Petrobras de Mini Baja.Veiculo off-road para um passageiro. 2005. (Outra).

Produções bibliográficas

DE QUEIROZ, MAX H. ; DA ROCHA, VINICIUS G. ; CARPES, ANA MARIA M. ; VERNADAT, FRANCOIS ; CREGUT, XAVIER . A model-driven engineering approach to formal verification of PLC programs. In: Factory Automation (ETFA 2011), 2011, Toulouse. ETFA2011, 2011.

Prêmios

2009

Láurea Acadêmica no curso de Engenharia Mecânica, UFRGS.

2009

Prêmio ABCM-UFRGS - melhor média geral entre os alunos formandos no semestre 2009/2, UFRGS-ABCM.

2003

Primeiro lugar no vestibular do curso de Engenharia Mecanica, UFRGS.

Histórico profissional

Endereço profissional

Universidade Federal de Santa Catarina. , Não Disponível, 99999-999 - Porto Alegre, RS - Brasil

Experiência profissional

2012 - Atual

Neoway Business Solutions

Vínculo: Celetista, Enquadramento Funcional: Lider de Equipe Decaptcher, Carga horária: 22

Outras informações:
Desenvolvimento de sistemas automatizados de reconhecimento de CAPTCHAs (Completely Automated Public Turing test to tell Computers and Humans Apart) em Java e Clojure usando processamento de image, análise estatística e inteligência artificial.

2008 - 2009

J. P. Morgan

Vínculo: Estagiario, Enquadramento Funcional: Auxiliar de analista do setor de TMT, Carga horária: 30

Outras informações:
Auxílio na elaboração de projeções financeiras das empresas em Excel/VBA, relatórios em inglês sobre o setor, apresentações de marketing e produtos para clientes.

2007 - 2007

Dassault Systémes

Vínculo: Estágio, Enquadramento Funcional: Engenheiro de Software, Carga horária: 35, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento e implementação de um algorítmo em C++ para montar peças de maneira inteligente no CATIA (software CAD)

2006 - 2006

Airbus

Vínculo: Estagio, Enquadramento Funcional: Auxiliar de mecânico aeronáutico, Carga horária: 30, Regime: Dedicação exclusiva.

Outras informações:
Verificação e ajuste dos aviões antes de sua entrega.

2005 - 2006

Arcelor Packaging

Vínculo: Projeto Centrale Nantes, Enquadramento Funcional: Membro equipe de projetos, Carga horária: 20

Outras informações:
Otimização do rendimento do sistema de refrigeração de uma laminadora com determinação e programação em Excel/VBA do modelo teórico para prever a quantidade de lubrificante circulando no sistema.