Juliana Kaizer Vizzotto

Descrição:

Professora adjunta do Departamento de Eletrônica e Computação da Universidade Federal de Santa Maria desde agosto de 2009. Possui Graduação em Ciência da Computação pela UCPel (1999), Mestrado (2001) e Doutorado (2006) em Ciência da Computação pela Universidade Federal do Rio Grande do Sul. Durante o período do doutorado, realizou estágio sanduíche na Indiana University, EUA. Sua tese de doutorado recebeu em 2007 o Terceiro lugar no Concurso Brasileiro de Teses em Computação provido pela Sociedade Brasileira de Computação (SBC). Foi bolsista PCI do Instituto Nacional de Pesquisas Espaciais (INPE) como analista de sistemas na área de computação aplicada à meteorologia. Na docência atua na área de fundamentos e teoria da computação e programação, ministrando as disciplinas de projeto e análise de algoritmos, teoria da computação, paradigmas de programação, preparação para a maratona de programação, linguagens de programação (semântica formal e sistemas de tipos/ pós-graduação) entre outras. Seus interesses de pesquisa incluem as áreas de fundamentos e teoria da computação. Faz pesquisa principalmente no tema de Semântica Formal de Linguagens de Programação e Paradigmas de Programação, com ênfase em semântica de linguagens funcionais e sistemas de tipos e lógica formal, aplicações da semântica das linguagens funcionais em Java, linguagens funcionais quânticas e algoritmos quânticos.

Lattes:

Data da última alteração no lattes: 29/01/2020 12:01

Nome em citações:

VIZZOTTO, J. K.

Email:

Não informado