João Paulo Pizani Flor

Doutorando em Ciência da Computaçao na Universidade de Utrecht, nos Países Baixos. Mestrado obtido na mesma Universidade. Bacharelado pela Universidade Federal de Santa Catarina, com o título obtido em Agosto de 2011. Membro do Laboratório de Integração Software/Hardware (LISHA) de Setembro de 2010 a Agosto de 2011.

Informações coletadas do Lattes em 02/08/2025

Acadêmico

Formação acadêmica

Doutorado em andamento em Computing Science

2014 - Atual

Utrecht University
Orientador: Wouter S. Swierstra
Ano de obtenção: 2018;Bolsista do(a): Utrecht University.

Mestrado em Programming Technology

2012 - 2014

Utrecht University
Título: An Embedded Hardware Description Language using Dependent Types,Ano de Obtenção: 2014
Orientador: Wouter S. Swierstra
Coorientador: Johan Jeuring. Bolsista do(a): Utrecht University. Palavras-chave: Programação Funcional; Agda; Hardware design; Semântica de Linguagens de Programaçao; Dependently-Typed Programming.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. 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: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.

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

2007 - 2011

Universidade Federal de Santa Catarina
Título: Sìntese comportamental de componentes de um Sistema Operacional em hardware
Orientador: Prof. Dr. Antônio Augusto Fröhlich
Bolsista do(a): Secretaria de Educação Superior - Ministério da Educação.

Ensino Médio (2º grau)

2003 - 2006

Instituto Federal de Educação, Ciência e Tecnologia de Santa Catarina

Formação complementar

2011 - 2011

Utrecht Summer School in Computer Science. (Carga horária: 100h). , Utrecht University, UU, Holanda.

2010 - 2010

Deutschlandkundlicher Winterkurs. (Carga horária: 150h). , Heinrich-Heine Universität Düsseldorf.

2008 - 2008

Extensão universitária em Escola de Verão de Matemática. (Carga horária: 50h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

Idiomas

Inglês

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

Alemão

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

Holandês

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

Á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: 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.

Participação em eventos

Campus Party Brasil. 2011. (Encontro).

Fórum Internacional Software Livre. 2010. (Congresso).

Fórum Internacional Software Livre. 2009. (Congresso).

Fórum Internacional Software Livre. 2008. (Congresso).

XI SulPET - Encontro dos grupos PET do Sul do Brasil.Introdução ao LaTeX. 2008. (Encontro).

XIII ENAPET - Encontro Nacional dos grupos PET. 2008. (Encontro).

Produções bibliográficas

FLOR, João P. Pizani ; MUCK, Tiago R. ; FROHLICH, A. A. . High-level design and synthesis of a resource scheduler. 18th IEEE International Conference on Electronics, Circuits and Systems , v. 1, p. 376-739, 2011.
FLOR, João P. Pizani ; Programação Funcional e a linguagem Haskell. In: Seminário de Iniciação Científica, 2009, Florianópolis - SC. Anais da VIII Semana de Ensino, Pesquisa e Extensão da UFSC, 2009.
FLOR, João P. Pizani ; Computação Reconfigurável - Um estudo dos conceitos fundamentais. In: VII SEPEX - 7ª Semana de Ensino, Pesquisa e Extensão, 2008, Florianópolis - SC. Anais da 7ª Semana de Ensino, Pesquisa e Extensão, 2008.
FLOR, João P. Pizani ; SWIERSTRA, W. S. . Pi-Ware: Hardware description with Dependent Types. 2014. (Apresentação de Trabalho/Simpósio).
FLOR, João P. Pizani ; Programação Funcional e a linguagem Haskell. 2009. (Apresentação de Trabalho/Seminário).
FLOR, João P. Pizani ; Computação Reconfigurável. 2008. (Apresentação de Trabalho/Seminário).
FLOR, João P. Pizani ; SILVA, Marcelo Ribeiro Xavier . Introdução ao LaTeX: Uma ferramenta para formatação automática de trabalhos acadêmicos. 2008. (Apresentação de Trabalho/Seminário).

Outras produções

MEIRA, G. R. N. ; FLOR, João P. Pizani ; PUEL, A. . Introdução ao C++. 2009. (Desenvolvimento de material didático ou instrucional - Minicurso).

FLOR, João P. Pizani ; SILVA, Marcelo Ribeiro Xavier . Introdução ao LaTeX e ao abnTeX. 2008. (Curso de curta duração ministrado/Extensão).

HAENSCH, Maurício Oliveira ; CAMPOS, Diogo . A plataforma Google Android. 2008. (Desenvolvimento de material didático ou instrucional - Tutorial - Novas tecnologias).

Prêmios

2012

Utrecht Excellence Scholarship, Utrecht University - Países Baixos.

2007

Certificado de Desempenho Acadêmico, UFSC.

Histórico profissional

Experiência profissional

2011 - 2012

4s Informática

Vínculo: Celetista, Enquadramento Funcional: Programador, Carga horária: 44, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de softwares em C/C++ para a área de Broadcasting e TV.