Vinícius Pazutti Correia

Possui graduação em Ciências da Computação Ênfase Em Engenharia de Computação pela Universidade Federal do Rio Grande do Sul (2002) e mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2005). Atualmente é desenvolvedor de sistemas de software de EDA na Nangate A/S - Dinamarca. Tem experiência na área de Ciência da Computação, com ênfase em Hardware e Computação Gráfica.

Informações coletadas do Lattes em 21/11/2022

Acadêmico

Formação acadêmica

Mestrado em Computação

2003 - 2005

Universidade Federal do Rio Grande do Sul
Título: Mapeamento Tecnologico para Bibliotecas Virtuais Simetricas e Assimetricas com Minimizacao da Profundidade Logica do Circuito,Ano de Obtenção: 2005
André Inácio Reis.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

Graduação em Ciências da Computação Ênfase Em Engenharia de Com

1998 - 2002

Universidade Federal do Rio Grande do Sul
Título: Mapeamento tecnológico baseado em restrições topológicas
Orientador: André Inácio Reis
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2004 - 2004

Extensão universitária em VI Escola de Microeletrônica. (Carga horária: 40h). , Universidade Regional do Noroeste do Estado do Rio Grande do Sul, UNIJUI, Brasil.

2003 - 2003

O Profissional de TI como Homem de Negócios. (Carga horária: 8h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2002 - 2002

Coordenação de Sessão - Salão de IC. , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2002 - 2002

Fiscal Concurso Vestibular. , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2002 - 2002

Diretoria do Diretório Acadêmico da Computação. , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2000 - 2002

Extensão universitária em Bolsa de Iniciação Científica (Microeletrônica). (Carga horária: 20h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2001 - 2001

Extensão universitária em III Escola de Microeletrônica. (Carga horária: 40h). , Universidade Federal de Santa Maria, UFSM, Brasil.

2001 - 2001

Interfacing Microsystems. (Carga horária: 30h). , Iberchip, IBERCHIP, Uruguai.

2001 - 2001

Plano de Negócio e Empreendedorismo. (Carga horária: 20h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2001 - 2001

Coordenação de Sessão - Salão de IC. , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2001 - 2001

Fiscal Concurso Vestibular. , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2001 - 2001

Diretoria do Diretório Acadêmico da Computação. , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

2000 - 2000

Extensão universitária em II Escola de Microeletrônica. (Carga horária: 40h). , Sociedade Brasileira de Computação, SBC, Brasil.

2000 - 2000

Coordenação de Sessão - Salão de IC. , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

1999 - 1999

Bolsa de Monitoria Algorítmos e Programação. (Carga horária: 10h). , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Idiomas

Inglês

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

Espanhol

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

Português

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

Italiano

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

Francês

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

Dinamarquê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 de Computação/Especialidade: Hardware.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computaçã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: 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: Computação Gráfica.

Participação em eventos

Simpósio Sul de Microeletrônica.19° Simpósio Sul de Microeletrônica. 2004. (Simpósio).

Design Automation Conference. 40th Design Automation Conference - DAC. 2003. (Congresso).

SBCCI / SBMicro.16th Symposium On Integrated Circuits and Design & 18th Symposium on Microelectronics Technology and Devices. 2003. (Simpósio).

Design Automation Conference. 39th Design Automation Conference - DAC. 2002. (Congresso).

SBCCI / SBMicro.15th Symposium On Integrated Circuits and Design & 17th Symposium on Microelectronics Technology and Devices. 2002. (Simpósio).

International Workshop on Logic and Synthesis.International Workshop on Logic and Synthesis. 2002. (Simpósio).

Salão de Iniciação Científica.XIII Salão de Iniciação Científica. 2002. (Outra).

Salão de Iniciação Científica.XIV Salão de Iniciação Científica. 2002. (Outra).

Workshop Iberchip.VII Workshop Iberchip. 2001. (Simpósio).

SBCCI / SBMicro.14th Symposium On Integrated Circuits and Design & 16th Symposium on Microelectronics Technology and Devices. 2001. (Simpósio).

Fórum de Estudantes de Microeletrônica.I Fórum de Estudantes em Microeletrônica. 2001. (Outra).

Salão de Iniciação Científica.XII Salão de Iniciação Científica. 2000. (Outra).

Seminário de Inteligência Artificial.I Seminário de Inteligência Artificial. 1999. (Seminário).

Produções bibliográficas

CORREIA, V. P. ; MARQUES, Felipe de Souza ; RIBAS, Renato Perez ; REIS, André Inácio . Métodos e Resultados de Otimizações de Circuitos Implementados Sobre o Ambiente de Síntese Lógica Elis. In: X Workshop Iberchip, 2004, Cartagena de Indias. X Workshop Iberchip, 2004. v. 1.
CORREIA, V. P. ; REIS, André Inácio . Advanced Technology Mapping for Standard-Cell Generators. In: SBCCI 2004 - 17th Symposium on Integrated Circuits and Systems Design, 2004, Porto de Galinhas, PE - BRASIL. SBCCI 2004, 2004. v. 1. p. 254-259.
CORREIA, V. P. ; LUBASZEWSKI, Marcelo ; REIS, André Inácio . SIFU!-a didactic stuck-at fault simulator. In: IEEE International Conference on Microelectronic Systems Education 2003, 2003, Anaheim - CA. Proceedings Microelectronic Systems Education 2003, 2003. p. 93-94.
CORREIA, V. P. ; SCHNEIDER, Felipe Ribeiro ; REIS, André Inácio . 4-Input Functions Logic Synthesis for Cell Libraries. In: VIII Workshop Iberchip, 2002, Guadalajara. Resumenes de Trabajos del VIII Workshop Iberchip, 2002.
TOGNI, João Daniel ; SCHNEIDER, Felipe Ribeiro ; CORREIA, V. P. ; REIS, André Inácio ; RIBAS, Renato Perez . Automatic Generation of Cell Libraries. In: VIII Workshop Iberchip, 2002, Guadalajara. Resumenes de Trabajos del VIII Workshop Iberchip, 2002.
SCHNEIDER, Felipe Ribeiro ; CORREIA, V. P. ; RIBAS, Renato Perez ; REIS, André Inácio . Comparing Transistor-Level Implementations of 4-Input Logic Functions. In: IEEE/ACM 11th International Workshop on Logic & Synthesis, 2002, New Orleans - LA. Proceedings of the IEEE/ACM 11th International Workshop on Logic & Synthesis, 2002.
CORREIA, V. P. ; REIS, André Inácio . Compression and Technology Mapping of Logic Circuits. In: 15th Symposium on Integrated Circuits and System Design, 2002, Porto Alegre - RS. 15th Symposium on Integrated Circuits and System Design, 2002. p. 277-280.
MARQUES, Felipe de Souza ; CORREIA, V. P. ; PRADO, A. R. ; LUBASZEWSKI, Marcelo ; REIS, André Inácio . Testability Properties of BDDs. In: 15th Symposium on Integrated Circuits and System Design, 2002, Porto Alegre - RS, 2002.
TOGNI, João Daniel ; SCHNEIDER, Felipe Ribeiro ; CORREIA, V. P. ; REIS, André Inácio ; RIBAS, Renato Perez . Automatic Generation Of Digital Cell Libraries. In: 15th Symposium on Integrated Circuits and System Design, 2002, Porto Alegre. 15th Symposium on Integrated Circuits and System Design, 2002. p. 259-264.
CORREIA, V. P. ; REIS, André Inácio . Classifying n-Input Boolean Functions. In: VII Workshop Iberchip, 2001, Montevideo. IWS 2001 - VII Workshop Iberchip, 2001. p. 58.
CORREIA, V. P. ; REIS, André Inácio . On Comparing Implementations with Pass-Transistor Logic and Static CMOS Logic. In: XVI Microelectronics Seminar, 2001, Santa Maria. XVI Microelectronics Seminar - Proceedings, 2001. p. 101-104.
CORREIA, V. P. ; REIS, André Inácio . A Tutorial Tool for Switch Logic. In: 2001 International Conference on Microelectronics Systems Education, 2001, Las Vegas, Nevada. 2001 International Conference on Microelectronics Systems Education Proceedings. Los Alamitos, CA: IEEE Computer Society, 2001. p. 28-29.
ZORDAN, Leonardo Bonet ; CORREIA, V. P. ; MARQUES, Felipe de Souza ; RIBAS, Renato Perez ; REIS, André Inácio . Avaliação de atraso de circuitos CMOS através de simulações SPICE. In: XV Salão de Iniciação Científica, 2003, Porto Alegre. Resumos do XV Salão de Iniciação Científica, 2003.
CORREIA, V. P. ; SCHNEIDER, Felipe Ribeiro ; REIS, André Inácio . Uma Ferramenta para Auxiliar o Aprendizado de Sistemas Digitais. In: XIII Salão de Iniciação Científica, 2002, Porto Alegre. Resumos do XIII Salão de Iniciação Científica da UFRGS, 2002.
CORREIA, V. P. ; REIS, André Inácio . A Tool to Compare Pass-Transistor Logic and Static CMOS Complex Gates Logic with Minimal Implementations. In: IX Jornadas de Jovenes Investigadores de la A.U.G.M, 2001, Rosario. IX Jornadas de Jovenes Investigadores de la A.U.G.M. - Resumenes. Rosario - Argentina: Universidad Nacional de Rosario, 2001.
CORREIA, V. P. ; REIS, André Inácio . Comparação entre Células CMOS Estáticas e Baseadas em Multiplexadores. In: XII Salão de Iniciação Científica, 2000, Porto Alegre. XII Salão e IX Feira de Iniciação Científica - Livro de Resumos, 2000. p. 34.

Outras produções

CORREIA, V. P. ; MARQUES, Felipe de Souza ; REIS, André Inácio ; COMBA, João Luiz Dihl ; FREITAS, Carla Maria Dal Sasso . Lascivo - Layout and Circuits Visualization. 2003.

CORREIA, V. P. ; MARQUES, Felipe de Souza ; REIS, André Inácio . Elis - Ambiente de Síntese Lógica. 2003.

CORREIA, V. P. ; REIS, André Inácio ; LUBASZEWSKI, Marcelo . Sifu! Software Didático de Simulação de Falhas. 2002.

CORREIA, V. P. . Manual de Uso e Documentação da Ferramenta Elis - Ambiente de Síntese Lógica. 2003.

CORREIA, V. P. . Elis - Um Ambiente de Síntese Lógica. 2003 (Trabalho de Pesquisa Individual) .

CORREIA, V. P. . Mapeamento Tecnológico Baseado em Restrições Estruturais. 2002 (Trabalho de Diplomação) .

Prêmios

2002

Destaque da Sessão de Microeletrônica e Sistemas Digitais II do XIII Salão de Iniciação Científica da UFRGS, UFRGS.

Histórico profissional

Endereço profissional

Nangate A/S, Nangate A/S. , Smedeholm 10, 2 tv, 2730 - Herlev, - Dinamarca, Telefone: () 44521413, URL da Homepage:

Experiência profissional

2005 - 2005

Universidade Federal de Pelotas

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

2005 - Atual

Nangate A/S

Vínculo: Empregado, Enquadramento Funcional: Desenvolvedor de Sistemas de Software de EDA, Carga horária: 38