Juliana Kaizer Vizzotto

Professora associada do Departamento de Linguagens e Sistemas de Computação (DLSC) do Centro de Tecnologia (CT) 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 Computação Quântica e fundamentos e teoria da computação. Faz pesquisa principalmente no tema de Computação Quântica, 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. Também atua ativamente na área transdisciplinar de Arte, Ciência e Processos Computacionais através da participação no projeto de ensino, pesquisa e extensão: Museu Arte, Ciência e Tecnologia (MACT/UFSM), junto ao LABART/CAL/UFSM. Atualmente é coordenadora da área de Tecnologia do MACT/UFSM (2021-). É co-orientadora de doutorado no PPG Educação em Ciências da UFSM e está em processo de credenciamento como professora colaboradora no PPGART/UFSM.

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

Acadêmico

Formação acadêmica

Doutorado em Computação

2001 - 2006

Universidade Federal do Rio Grande do Sul
Título: Structuring General and Complete Quantum Computations in Haskell: The Arrows Approach
Orientador: em Indiana University ( Amr A. Sabry)
com Antônio Carlos da Rocha Costa. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Programação Quântica; Semântica Formal.Grande área: Ciências Exatas e da TerraSetores de atividade: Atividades No Campo das Nanotecnologias e Desenvolvimento de Nanoprodutos.

Mestrado em Computação

2000 - 2001

Universidade Federal do Rio Grande do Sul
Título: Interoperabilidade Lógica via Mapementos entre Instituições, Ano de Obtenção: 2001
Orientador: Alfio Ricardo de Brito Martini
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Lógica; Teoria das Categorias; Interoperabilidade Lógica; Métodos Formais.Grande área: Ciências Exatas e da Terra

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

1996 - 1999

Universidade Católica de Pelotas
Título: Uma Calculadora para Aritmética Real Recursiva
Orientador: Antônio Carlos da Rocha Costa
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul, FAPERGS, Brasil.

Formação complementar

2003 - 2003

Abstract Interpretation and static analysis. (Carga horária: 8h). , Universidad de la República - Facultad de Ingeniería, UR-INCO, Uruguai.

2003 - 2003

Mobility. (Carga horária: 6h). , Universidad de la República - Facultad de Ingeniería, UR-INCO, Uruguai.

2003 - 2003

Type Systems. (Carga horária: 8h). , Universidad de la República - Facultad de Ingeniería, UR-INCO, Uruguai.

2003 - 2003

Computational Semantics. (Carga horária: 8h). , Universidad de la República - Facultad de Ingeniería, UR-INCO, Uruguai.

2003 - 2003

Modal and Temporal Logics. (Carga horária: 8h). , Universidad de la República - Facultad de Ingeniería, UR-INCO, Uruguai.

Idiomas

Inglês

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

Espanhol

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

Portuguê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: 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: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computação Quântica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria das Categorias.

Organização de eventos

DU BOIS, A. R. ; VIZZOTTO, J. K. ; PILLA, M. L. ; YAMIN, A. C. ; AGUIAR, M. . XIII Simpósio de Linguagens de Linguagens de Programacão. 2009. (Congresso).

MARTINI, Alfio Ricardo ; VIZZOTTO, J. K. ; MACHADO, Julio Pereira . 5th Workshop on Formal Methods. 2002. (Congresso).

Participação em eventos

2nd WorkshopSchool on Theoretical Computer Science (WEIT). 2nd WorkshopSchool on Theoretical Computer Science (WEIT). 2013. (Congresso).

Simpósio Brasileiro de Linguagens de Programação.A Double Effect λ-calculus for Quantum Computation. 2013. (Simpósio).

International Winter School on Semantics an Applications.International Winter School on Semantics and Applications. 2003. (Outra).

Participação em bancas

Aluno: Marcos Yukio Siraichi

PEREIRA, F. M. Q.; SANTOS, V. F.; URRITIA, S. A.;VIZZOTTO, J. K.. Alocação de Qubits. 2021. Dissertação (Mestrado em Programa de Pós-Graduação em Computação) - Universidade Federal de Minas Gerais.

Aluno: Evandro Chagas Ribeiro da Rosa

SANTIAGO, R.;VIZZOTTO, J. K.; SILVEIRA, R. A.; FEITOSA, S.. Ket Quantum Programming. 2019. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: José Carlos Puiati Pires

VIZZOTTO, J. K.; PIVETA, E. K.;DU BOIS, A. R.. Interpretador e verificador de tipos para o cálculo-λ quântico com mônadas e setas. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Maria.

Aluno: Samuel da Silva Feitosa

VIZZOTTO, J. K.DU BOIS, A. R.; PIVETA, E. K.. Uma Linguagem de Programação Quântica Orientada a Objetos Baseada no Featherweight Java.. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Maria.

Aluno: Tiago Idalêncio

VIZZOTTO, J. K.DU BOIS, A. R.PIVETA, E. K.. Implementação de um Interpretador do Cálculo Lambda Quântico. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Maria.

Aluno: Jânio Elias Teixeira Júnior

PIVETA, E. K.DU BOIS, A. R.VIZZOTTO, J. K.. Um Catálogo de Refatorações Envolvendo Expressões Lambda em Java. 2014. Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria.

Aluno: Eduardo Ferreira da Silva

VIZZOTTO, J. K.Piveta, Eduardo KesslerDU BOIS, A. R.. Simulação de Algoritmos Quânticos Considerando a Teoria Quântica Modal em Haskell. 2014. Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria.

Aluno: Rafael de Leão Bandeira

DU BOIS, A. R.VIZZOTTO, J. K.; CAVALHEIRO, G.. Um sistema de detecção de conflitos com invalidação mista para a linguagem CMTJava. 2013. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Adriano Kurz Maron

VIZZOTTO, J. K.DU BOIS, A. R.; COSTA, S. A.; REISER, R. H. S.. Explorando as Possibilidades de Otimização da Simulação de Algoritmos Quânticos no VPE-qGM. 2013. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Marta Breunig

SACCOL, D. B.; MOREIRA, V. P.;VIZZOTTO, J. K.. TRADUÇÃO DE CONSULTAS XQUERY PARA SQL. 2013. Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria.

Aluno: Cristiano De Faveri

PIVETA, E. K.VIZZOTTO, J. K.; SACCOL, D. B.; NUNES, I. O.. Uma linguagem específica de domínio para consulta em código orientado a aspectos. 2013. Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria.

Aluno: Henrique Gabriel Gularte Pereira

LIBRELOTTO, G. R.;VIZZOTTO, J. K.. Uma arquitetura para utilização de computação nas nuvens nos ambientes de computação pervasiva.. 2012. Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria.

Aluno: Daniel Michelon De Carli

POZZER, C. T.; OLIVEIRA, M.;VIZZOTTO, J. K.. Geração Procedural de Cenários 3D de Cânions com Foco em Jogos Digitais. 2012. Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria.

Aluno: Sylvio Andre Garcia Vieira

VIZZOTTO, J. K.; PALMA, M. A.; LIBRELOTTO, G. R.; SIMONETTO, E. O.. Aplicação de Máquinas de Vetores de Suporte na Investigação da Atividade Gênica do Câncer de Colo de Intestino. 2011. Dissertação (Mestrado em Mestrado em Nanociências) - Universidade Franciscana.

Aluno: Guilherme Chagas Kurtz

LIBRELOTTO, G. R.; SALES, A. I. L.;VIZZOTTO, J. K.; PIVETA, E. K.. Metodologias para detecção do Centrômero no Processo de Identificação de Cromossomos. 2011. Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria.

Aluno: Marcos Echevarria

VIZZOTTO, J. K.DU BOIS, A. R.; YAMIN, A. C.; CASTRO, M. A. A.. Uma Linguagem de Domínio Específico para Programação de Memórias Transacionais em Java.. 2010. Dissertação (Mestrado em Mestrado em Ciência da Computacão) - Universidade Católica de Pelotas.

Aluno: Fernando Vasconcelos Mendes

Ramos, R. V.; Nascimento, J.C.; Sousa, P. B. M.;VIZZOTTO, J. K.. Esquemas para Teleportação de Portas Quânticas. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia de Teleinf) - Universidade Federal do Ceará.

Aluno: Rafael Burlamaqui Amaral

REISER, R. H. S.; PILLA, M. L.;VIZZOTTO, J. K.. Aplicações do Modelo qGM na Interpretação de Algoritmos Quânticos. 2009. Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas.

Aluno: Alexandre Garcia de Oliveira

MELO., A. C. V.; JASKELIOFF, M.; PARDO, A.; UUSTALO, T.; RIVAS, E.;VIZZOTTO, J. K.. On structuring functional programs with monoidal profunctors. 2023. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Samuel da Silva Feitosa

DU BOIS, A. R.; MOREIRA, A. F.;VIZZOTTO, J. K.; FOSS, L.. Strategies for Testing and Formalizing Properties of Modern Programming Languages. 2019. Tese (Doutorado em Programa de Pós-Graduação em Computação) - Universidade Federal de Pelotas.

Aluno: Éder Maiquel Simão

MOMBACH, J. C. M.; PASSETTI, F.; ZIMMER, F. M.; CALEGARI, E. J.;VIZZOTTO, J. K.; LIBRELOTTO, G. R.. Dinâmica da transição pré-câncer para câncer: estudo da expressão de vias de Manutenção de Genoma. 2012. Tese (Doutorado em Pós Graduação em Física) - Universidade Federal de Santa Maria.

Aluno: Cristhian Augusto Bugs

MOMBACH, J. C. M.; Acevedo, O. C.; Oliveira, G. C.;VIZZOTTO, J. K.; Souza, O. N.. Descrição Booleana para Eventos Celulares: Construção de Redes de Topologia e Análise Dinâmica. 2012. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Física) - Universidade Federal de Santa Maria.

Aluno: Jhordan Silveira de Borba

MAZIERO, J.;VIZZOTTO, J. K.; ZANETTI, M. S.. Implementação de técnicas de aprendizado de máquina em computadores quânticos. 2021. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Física) - Universidade Federal de Santa Maria.

Aluno: José Carlos Puiati Pires

PIVETA, E. K.VIZZOTTO, J. K.; LIBRELOTTO, G. R.. Uma Biblioteca para Teoria Quântica Discreta em Haskell. 2014. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Maria.

Aluno: Rodrigo Castro Gil

WINCK, A. T.;PIVETA, E. K.VIZZOTTO, J. K.. Busca não Estruturada em Código AspectJ. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Maria.

Aluno: Diego Galho Prestes

VIZZOTTO, J. K.; YAMIN, A. C.; PALAZZO, L. A. M.; REISER, R. H. S.. Ambiente de Programação Visual para o Modelo de Máquina Geométrica.. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas.

Aluno: KARINA GIRARDI ROGGIA

VIZZOTTO, J. K.; COSTA, S. A.; MENEZES, P. F. B.. Morfismos Parciais e Ciência da Computação: Um Estudo. 2001 - Universidade Federal do Rio Grande do Sul.

CARARA, E. A.; FURTADO, J. C.;VIZZOTTO, J. K.. Membro titular de comissão examinadora de Concurso Público de Provas e Títulos para Provimento de Cargo de Professor Adjunto - Departamento de Eletrônica e Computação - DELC/UFSM Análise de Algoritmos e Complexidade de Computação. 2015. Universidade Federal de Santa Maria.

MARTINI, Alfio RicardoVIZZOTTO, J. K.; Welfer, D.. Membro titular de comissão examinadora de Concurso Público de Provas e Títulos para Provimento de Cargo de Professor Adjunto. 2012. Universidade Federal do Pampa.

VIZZOTTO, J. K.; BARCELOS, P. P.; PILLA, M. L.. Membro titular de comissão examinadora de Concurso Público de Provas e Títulos para Provimento de Cargo de Professor Adjunto - Departamento de Eletrônica e Computação - DELC/UFSM Metodologias e Tecnicas de Computação. 2012. Universidade Federal de Santa Maria.

VIZZOTTO, J. K.PIVETA, E. K.; SIMONETTO, E. O.. Membro titular de comissão examinadora de Concurso Público de Provas e Títulos para Provimento de Cargo de Professor do Magistério Superior do Colégio Técnico Industrial de Santa Maria (CTISM) da UFSM. 2011. Universidade Federal de Santa Maria.

VIZZOTTO, J. K.. 2° Workshop-Escola de Computação e Informação Quântica. 2007. Universidade Federal de Campina Grande.

VIZZOTTO, J. K.; MOREIRA, A. F.; TOSCANI, L. V.. XIV Salão de Iniciação Científica da UFRGS. 2002. Universidade Federal do Rio Grande do Sul.

VIZZOTTO, J. K.; RIBEIRO, L.; TOSCANI, L. V.. XIII Salão de Iniciação Científica da UFRGS. 2002. Universidade Federal do Rio Grande do Sul.

Orientou

Edila Rosane Alves da Silva

Articulação entre Problemas Temáticos e Pensamento Computacional na Formação docente em Ciências e Matemática; Início: 2021; Tese (Doutorado em PPG Educação em Ciências) - Universidade Federal de Santa Maria; (Coorientador);

Eric Tomas Zancanaro

Um Interpretador e Typechecker para uma Linguagem Reversível com Pattern-matching Simétrico e Controle Quântico; 2018; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Maria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Juliana Kaizer Vizzotto;

Diogo João Cardoso

AsyncRFJ: Uma Abordagem Assíncrona à Programação Orientada a Objeto Reativa; 2018; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Maria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Juliana Kaizer Vizzotto;

José Carlos Puiati Pires

Implementação de um interpretador e Verificador de Tipos para o Double Effect Quantum Lambda Calculus; 2017; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Maria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Juliana Kaizer Vizzotto;

Tiago Idalêncio

Um Interpretador para o Cálculo Lambda Quântico; 2016; Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria, ; Orientador: Juliana Kaizer Vizzotto;

Samuel Feitosa

Uma linguagem de programação quântica orientada a objetos baseada no Featherweight Java; 2016; Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Juliana Kaizer Vizzotto;

Eduardo Ferreira

SIMULAÇÃO DE ALGORITMOS QUÂNTICOS CONSIDERANDO A TEORIA QUÂNTICA MODAL EM HASKELL; 2014; Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Juliana Kaizer Vizzotto;

Bruno Calegaro

QJAVA: SETAS QUÂNTICAS EM JAVA; 2013; Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Juliana Kaizer Vizzotto;

Douglas Pasqualin

Cálculo de Ambientes Tipado Sensível ao Contexto para Aplicações Pervasivas; 2012; Dissertação (Mestrado em Programa de Pós-Graduação e Informática) - Universidade Federal de Santa Maria, ; Orientador: Juliana Kaizer Vizzotto;

Jonas Gassen

Especificação de uma Ontologia para um Ambiente Hospitalar; 2010; Dissertação (Mestrado em Nanociências) - Universidade Franciscana, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Juliana Kaizer Vizzotto;

Mirkos Ortiz Martins

Modelagem de Nanomáquinas Quânticas; 2009; Dissertação (Mestrado em Nanociências) - Universidade Franciscana, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Juliana Kaizer Vizzotto;

Henrique Tamiosso Machado

; Representação do Conhecimento contido no PubMed; ; 2009; Dissertação (Mestrado em Nanociências) - Universidade Franciscana, ; Coorientador: Juliana Kaizer Vizzotto;

Sylvio Andre Garcia Vieira

Utilização de SVM para predição de pré-cancer; 2009; Dissertação (Mestrado em Nanociências) - Universidade Franciscana, ; Orientador: Juliana Kaizer Vizzotto;

Tiele da Silva Fernandes

A interatividade entre a tecnologia e os alunos do curso técnico profissionalizante de informática da terceira idade em sala de aula; 2014; Monografia; (Aperfeiçoamento/Especialização em Curso de Pós-graduação em TIC Aplicadas à Educação) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Katiane Sefrin Speroni

RECURSOS MIDIÁTICOS NA EDUCAÇÃO À DISTÂNCIA EM ENFERMAGEM: UMA REVISÃO NARRATIVA DA LITERATURA; 2014; Monografia; (Aperfeiçoamento/Especialização em Curso de Pós-graduação em TIC Aplicadas à Educação) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Janaína Schmidt

O professor de educação infantil e o uso de TICs em sala de aula; ; 2014; Monografia; (Aperfeiçoamento/Especialização em Curso de Pós-graduação em TIC Aplicadas à Educação) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Jaqueline Fette Brondani

O USO DAS TECNOLOGIAS DA INFORMAÇÃO E DA COMUNICAÇÃO NO PROCESSO DE ALFABETIZAÇÃO EM COMUNIDADE DE DESCENDENTES DE QUILOMBOLAS; 2014; Monografia; (Aperfeiçoamento/Especialização em Curso de Pós-graduação em TIC Aplicadas à Educação) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Michele Machado Miollo

Ferramentas virtuais para edição e armazenamento de material de ensino; 2014; Monografia; (Aperfeiçoamento/Especialização em Curso de Pós-graduação em TIC Aplicadas à Educação) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Maria Elaine Santos de Lima

A IMPORTÂNCIA DE TRABALHAR COM AS TIC NA EDUCAÇÃO INFANTIL; 2014; Monografia; (Aperfeiçoamento/Especialização em Curso de Pós-graduação em TIC Aplicadas à Educação) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

JOÃO GABRIEL DA CUNHA SCHITTLER

Compilação e Execução de Código da Linguagem QML no Computador Quântico da IBM; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

José Carlos Puiati Pires

Uma Biblioteca para Teoria Quântica Discreta em Haskell; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Cleber Foletto Pedrozo

ANIMAÇÃO DE UM FRACTAL UTILIZANDO MÚSICA EM PURE DATA; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computacão) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Bruno Crestani Calegaro

Implementação do Algoritmo da Teleportação usando Java Closures; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computacão) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Jorge Luiz Titoneli Pinto filho

Sistemas de Tipos para Capturar Informação de Contexto em Computação Pervasiva; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computacão) - Universidade Federal de Santa Maria; Orientador: Juliana Kaizer Vizzotto;

Ernâni Teixeira Liberali

Um Estudo sobre a Utilizacão de Memórias Transacionais para Programacão Concorrente com Memória Compartilhada; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Franciscana; Orientador: Juliana Kaizer Vizzotto;

Vitor Secretti Bertoncello

; Rotas de transporte coletivo em Santa Maria: um estudo de caso utilizando a Google Maps API; ; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Franciscana; Orientador: Juliana Kaizer Vizzotto;

Juliano Capeleto Oliveira

Um Estudo Sobre Honeypot de Baixa Interatividade; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Franciscana; Orientador: Juliana Kaizer Vizzotto;

Mateus Velleda Vellar

Implementando estrutura de dados na linguagem funcional Haskell; 2006; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: Juliana Kaizer Vizzotto;

Produções bibliográficas

ELIAS JUNIOR, J. ; NETO, H. ; FAVERI, C. ; SACCOL, D. B. ; VIZZOTTO, J. K. ; PIVETA, E. K. . A Refactoring Catalog for Lambda Expressions in Java. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , v. 29, p. 1-35, 2019.
FEITOSA, SAMUEL DA SILVA ; Vizzotto, Juliana Kaizer ; PIVETA, EDUARDO KESSLER ; Du Bois, Andre Rauber . A monadic semantics for quantum computing in an object oriented language. SCIENCE OF COMPUTER PROGRAMMING , v. 159, p. 10.1016/j.scico, 2018.
FEITOSA, SAMUEL S. ; VIZZOTTO, JULIANA K. ; PIVETA, EDUARDO K. ; DU BOIS, ANDRE R. . FJQuantum - A Quantum Object Oriented Language. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 324, p. 67-77, 2016.
Calegaro, Bruno Crestani ; VIZZOTTO, J. K. ; VIZZOTTO, J. . QJava: A Monadic Java Library for Quantum Programming. Revista de Informática Teórica e Aplicada: RITA , v. 22, p. 242-266, 2015.
PASQUALIN, D. P. ; VIZZOTTO, J. K. ; PIVETA, EDUARDO KESSLER . Typed context awareness Ambient Calculus for pervasive applications. FORMAL ASPECTS OF COMPUTING , v. 27, p. 885-916, 2015.
VIZZOTTO, J. K. ; Du Bois, André Rauber . Modelling Parallel Quantum Computing Using Transactional Memory. Electronic Notes in Theoretical Computer Science , v. 270, p. 183-190, 2011.
Martins, M. ; VIZZOTTO, J. K. ; LIBRELOTTO, G. R. . Simulando o Modelo ORC-OR através de autômatos celulares quânticos. Revista Brasileira de Computação Aplicada , v. 3, p. 74-81, 2011.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; SABRY, A. . Quantum Arrows in Haskell. Electronic Notes in Theoretical Computer Science , v. -210, p. 139-152, 2008.
ALTENKIRCH, T. ; GRATTAGE, J. ; VIZZOTTO, J. K. ; SABRY, A. . An Algebra of Pure Quantum Programming. Electronic Notes in Theoretical Computer Science , Chicago, Estados Unidos., v. 170, p. 23-47, 2007.
VIZZOTTO, J. K. ; ALTENKIRCH, T. ; SABRY, A. . Structuring quantum effects: superoperators as arrows. MSCS. Mathematical Structures in Computer Science , v. 16, p. 453, 2006.
REIS, T. A. ; BOUFLEUR, M. P. ; VELHO, H. F. C. ; VIZZOTTO, J. K. ; CHARAO, A. S. . Automatizacão da criacão de mapas com Google Maps. Disciplinarum Scientia. Série Ciências Naturais e Tecnológicas , v. 7, p. 129-136, 2006.
DONADUZZI, C. A. ; VIZZOTTO, J. K. ; MACHADO, L. ; VARES, M. F. ; CHITOLINA, M. R. ; SANTOS, N. C. . Museu Arte Ciência Tecnologia: ação neuroarte 2016. In: Débora Aita Gaspareto. (Org.). Design+ arte|ciência|tecnologia: conexões teórico-práticas. 1ed.Santa Maria: PPGART, 2017, v. , p. 125-133.
Vizzotto, Juliana Kaizer ; Calegaro, Bruno Crestani ; Piveta, Eduardo Kessler . A Double Effect λ-calculus for Quantum Computation. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. , p. 61-74.
Souto, R.S. ; VELHO, H. F. C. ; F, F. Paes ; Stephany, S. ; NAVAUX, P. O. A. ; CHARAO, A. S. ; VIZZOTTO, J. K. . Grid Computing for Multi-spectral Tomografic Reconstruction of Chlorophyll Concentration in Ocean Water. In: COnstanda, M.E. Pérez.. (Org.). Integral Methods in Science and Engineering. Boston: Ed. Birkhäuser, 2010, v. 2, p. 327-337.
Vizzotto, Juliana Kaizer ; Librelotto, Giovani Rubert ; Sabry, Amr . Reasoning about General Quantum Programs over Mixed States. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2009, v. 5902, p. 321-335.
Vizzotto, Juliana Kaizer ; Du Bois, André Rauber ; Sabry, Amr . The Arrow Calculus as a Quantum Programming Language. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2009, v. 5514, p. 379-393.
SCHITTLER, J. G. C. ; VIZZOTTO, J. K. . Compilação e Execução de Código da Linguagem QML no Computador Quântico da IBM. In: VI Workshop-Escola de Informática Teórica (VI WEIT), 2021, Bagé. Anais do VI Workshop-Escola de Informática Teórica (VI WEIT), 2021. p. 49-53.
CARDOSO, DIOGO J. ; VIZZOTTO, JULIANA K. ; PIVETA, EDUARDO K. . AsyncRFJ. In: the XXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18, 2018. p. 35-42.
SABRY, A. ; VALIRON, B. ; VIZZOTTO, J. K. . From Symmetric Pattern-Matching to Quantum Control. In: International Conference on Foundations of Software Science and Computation Structures, 2018, Thessaloniki, Greece. Proceedings of XXI Foundations of Software Science and Computation Structures - FoSSaCS 2018, 2018. p. 348-364.
SANTANA, B. S. ; DONATO, M. M. ; VIZZOTTO, J. K. . Má́quina de Turing reversível: um estudo de caso. In: Workshop Escola de Informática Teórica, 2017, Santa Maria. Anais do IV Workshop-Escola de Informática Teórica. Santa Maria, 2017. p. 227-234.
ZANCANARO, E. T. ; VIZZOTTO, J. K. . Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico. In: Workshop-Escola de Informática Teórica, 2017, Santa Maria. Anais do IV Workshop-Escola de Informática Teórica. Santa Maria, 2017. p. 25-32.
CARDOSO, D. J. ; VIZZOTTO, J. K. . Estudo de semântica formal e sistema de tipos do RxJava. In: Workshop-Escola de Informática Teórica, 2017, Santa Maria. Anais do IV Workshop-Escola de Informática Teórica. Santa Maria, 2017. p. 17-24.
PIRES, J. C. P. ; PIVETA, E. K. ; VIZZOTTO, J. K. . Interpretador e Verificador de Tipos para o Cálculo-lambda com Mônadas e Setas. In: I Escola de Informática Teórica e Métodos Formais (ETMF), 2016, Natal. Anais da I Escola de Informática Teórica e Métodos Formais (ETMF), 2016. p. 155-164.
FEITOSA, S. ; VIZZOTTO, J. K. ; PIVETA, E. K. ; Du Bois, André R. . A Monadic Semantics for Quantum Computing in Featherweight Java. In: Simpósio Brasileiro de Linguagens de Programação, 2016. Proceedings of the XXI Brazilian Symposium on Programming Languages - SBLP 2016, 2016. p. 31-45.
FEITOSA, S. ; VIZZOTTO, J. K. ; PIVETA, E. K. ; DU BOIS, A. R. . Towards a Quantum Object-Oriented Language Based on Featherweight Java. In: V Workshop Escola De Computação e Informação Quântica, 2015, Campina Grande. Anais do V WECIQ, 2015.
BANDEIRA, R. ; DU BOIS, A. R. ; PILLA, M. L. ; VIZZOTTO, J. K. ; MACHADO, M. . Composable Memory Transactions for Java Using a Monadic Intermediate Language. In: Simpósio Brasileiro de Linguagens de Programação, 2015, Belo Horizonte. Proceedings of the XX Brazilian Symposium on Programming Languages - SBLP 2015, 2015. p. 128-142.
Calegaro, Bruno Crestani ; Vizzotto, Juliana Kaiser . Quantum Monad Using Java Closures. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science, 2013. p. 34.
Vizzotto, Juliana Kaizer . Quantum Computing: State-of-Art and Challenges. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science, 2013. p. 9.
Haubert, D. H. ; VIZZOTTO, J. K. ; PIRES, J. C. P. ; SACCOL, D. B. . Estudo de Principios da Mecânica Quântica aplicados à Computação Quântica. In: Jornada Acadêmica Integrada, 2012, Santa Maria. Anais da 27 Jornada Acadêmica Integrada. Santa Maria, 2012.
VIZZOTTO, J. K. . Towards a Quantum Monadic Arrow Lambda-calculus. In: 14th Brazilian Symposium on Formal Methods, 2011, São Paulo. Technical Report of University of São Paulo, 2011.
Haubert, D. H. ; VIZZOTTO, J. K. ; PIRES, J. C. P. ; MACHADO, J. F. . Programação Quântica. In: 26 Jornada Acadêmica Integrada, 2011, Santa Maria. Anais da 26 Jornada Integrada, 2011.
VIZZOTTO, J. K. ; SABRY, A. . Quantum Measurements from a Programming Point of View. In: Workshop Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do III Workshop Escola de Computação e Informação Quântica, 2010.
VIZZOTTO, J. K. ; CHARAO, A. S. ; Souto, R.S. ; VELHO, H. F. C. . Aplicações de Grades Computacionais. In: X Escola Regional de Alto Desempenho, 2010, Passo Fundo. Anais da X Escola Regional de Alto Desempenho, 2010. p. 51-82.
Martins, M. ; VIZZOTTO, J. K. ; LIBRELOTTO, G. R. . Simulando o modelo ORCH-OR através de autômatos celulares quânticos. In: II Simpósio de Computação Aplicada - SCA, 2010, Passo Fundo. Anais do II Simpósio de Computação Aplicada - SCA, 2010.
LIBRELOTTO, G. R. ; VIZZOTTO, J. K. ; AUGUSTIN, I. . Um Compilador para a Linguagem Reativa Síncrona Distribuída. In: Third Workshop on Languages and Tools for Parallel and Distributed Programming, 2009, Gramado. Third Workshop on Languages and Tools for Parallel and Distributed Programming, 2009.
LIBRELOTTO, G. R. ; Martins, M. ; MACHADO, H. T. ; VIZZOTTO, J. K. ; Ramalho, J.C. ; HENRIQUES, P. R. . Generating Semantic Networks to the PubMed. In: XATA 2008: 6ª Conferência Nacional, 2008, Évora. XATA 2008 - XML: Aplicações e Tecnologias Associadas, 2008. v. 6. p. 94-103.
DU BOIS, A. R. ; VIZZOTTO, J. K. . Memórias transacionais e sua programação usando STM Haskell.. In: Simpósio Brasileiro de Linguagens de Programação, 2008, Fortaleza. Simpósio Brasileiro de Linguagens de Programação, 2008.
LIBRELOTTO, G. R. ; VIZZOTTO, J. K. ; AUGUSTIN, I. ; TOSCANI, S. S. . A Semântica Formal da Linguagem RS. In: Simpósio Brasileiro de Linguagens de Programação, 2008, Fortaleza. Simpósio Brasileiro de Linguagens de Programação, 2008.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; SABRY, A. . Structuring General and Complete Quantum Computations in Haskell: The Arrows Approach. In: XX Concurso de Teses e Dissertações, 2007, Rio de Janeiro. ANAIS DO XXVII CONGRESSO DA SBC, 2007.
VIZZOTTO, J. K. ; Martins, M. ; COSTA, A. C. R. . Towards a Monadic Approach for MArgolus Parallel Quantum Celular Automaton. In: First Workshop on Languages and Tools for Parallel and Distributed Programming, 2007, Gramado. Anais do First Workshop on Languages and Tools for Parallel and Distributed Programming, 2007.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; SABRY, A. . Quantum Arrows in Haskell. In: 4th International Workshop on Quantum Programming Languages, 2006, Oxford. Proceedings of 4th International Workshop on Quantum Programming Languages, 2006. p. 1-15.
VIZZOTTO, J. K. ; COSTA, A. C. R. . Towards Quantum Haskell via Quantum Arrows. In: Primeiro Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais Primeiro Workshop-Escola de Computação e Informação Quântica. Pelotas, 2006. v. 1.
VIZZOTTO, J. K. ; COSTA, A. C. R. . Concurrent Quantum Programming in Haskell. In: VII Congresso Brasileiro de Redes Neurais, 2005, Natal. Anais do VII Congresso Brasileliro de Redes Neurais, 2005.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; SABRY, A. . Modelling Quantum Effects in Haskell. In: Semana Acadêmica PPGC/UFRGS, 2005, Porto Alegre. Anais da Semana Acadêmica do PPGC/UFRGS, 2005.
MARTINI, Alfio Ricardo ; WOLTER, U. ; HAEUSLER, E. H. ; VIZZOTTO, J. K. . Linking Logics for Multiparadigm Software Specification. In: V World Multiconference on Systems, Cybernetics and Informatics (SCI2001) - Special Sesson on Mathematical Structures in Computer Science, 2001, Orlando. Proceedings of V World Multiconference on Systems, Cybernetics and Informatics (SCI2001), 2001.
VIZZOTTO, J. K. ; MARTINI, Alfio Ricardo ; COSTA, A. C. R. . Reutilizando Provas através de Mapeamentos entre Lógicas. In: IV Workshop de Métodos Formais, 2001, Rio de Janeiro. Proceedings of IV Worshop on Formal Methods, 2001. p. 101-106.
PASQUALIN, D. P. ; VIZZOTTO, J. K. ; LIBRELOTTO, G. R. ; DU BOIS, A. R. . Linguagens de Programação para a Computação Pervasiva. In: Escola Regional de Alto Desempenho -ERAD, 2010, Passo Fundo. Anais da Escola Regional de Alto Desempenho - ERAD, 2010.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Teoria dos Domínios e Computação Quântica. In: XXVII CNMAC, 2004, Porto Alegre. Anais do XXVII Congresso Nacional de Matemática Aplicada e Computacional, 2004.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Uma Calculadora para Aritmética Real Recursiva. In: Congresso Nacional de Matemática Aplicada e Computacional, 1999, Santos-SP. Proceedings do Congresso Nacional de Matemática Aplicada e Computacional, 1999.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Avaliação Lazy e Mônadas para Entrada e Saída na Linguagem Haskell. In: Salão de Iniciação Científica da UFRGS, 1999, Porto Alegre. Anais do Salão de Iniciação Científica da UFRGS, 1999. v. 11.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Utilizando a Linguagem de Programação Funcional Haskell para Implementar a Função Semântica De um Numeral em uma Base Qualquer. In: Congresso de Iniciação Científica e Tecnológica, 1999, Santa Maria. Anais do Congresso de Iniciação Científica e Tecnologica, 1999. v. 14.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Implementação de Uma Calculadora Explorando a Recursividade e a Computação Exata com Números Naturais. In: VIII Congresso de Iniciação Científica - Prêmio Jovem Pesquisador, 1999, Pelotas. Anais do Congresso de Iniciação Científica, 1999.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Definindo a Semântica dos Numerais Binários. In: Congresso de Iniciação Científica, 1998, Pelotas. Anais do Congresso de Iniciação Científica, 1998. v. 7. p. 122-122.
VIZZOTTO, J. K. ; RODRIGUES, M. R. ; SHNEIDER, R. G. ; DIMURO, G. P. . Um Estudo sobre a Definição Recursiva da Aritmética nos Números Naturais. In: Encontro Regional de Matemática Aplicada e Computacional, 1998, Santa Maria. Anais do Encontro Regional de Matemática Aplicada e Computacional, 1998. v. 5. p. 22-22.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Um Estudo Sobre Indução e Recursão nos Números Naturais. In: Salão de Iniciação Científica da UFRGS, 1998, Porto Alegre. Anais do Salão de Iniciação Científica da UFRGS, 1998. v. 9. p. 45-45.
VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Uma Definição Semântica da Linguagem dos Numerais Binários. In: Mostra de Iniciação Científica, 1998, Passo Fundo. Anais da Mostra de Iniciação Científica - UPF, 1998. v. 8. p. 57-57.
VIZZOTTO, J. K. . Um Introdução à Computação Quântica e Prospectos em Inteligência Artificial Quântica. 2020. (Apresentação de Trabalho/Conferência ou palestra).
VIZZOTTO, J. K. . Um Introdução à Computação Quântica e Prospectos em Inteligência Artificial Quântica. 2020. (Apresentação de Trabalho/Conferência ou palestra).
SANTOS, N. C. ; CHITOLINA, M. R. ; VIZZOTTO, J. K. . . Projeto Museu arte-ciência-tecnologia: ação neuroarte. 2016. (Apresentação de Trabalho/Conferência ou palestra).
SANTOS, N. C. ; CHITOLINA, M. R. ; VIZZOTTO, J. K. . Museu arte-ciência-tecnologia/UFSM. 2016. (Apresentação de Trabalho/Conferência ou palestra).
Vizzotto, Juliana Kaizer . Computação Quântica: Estado da Arte e Desafios. 2014. (Apresentação de Trabalho/Conferência ou palestra).
VIZZOTTO, J. K. . Computação Quântica. 2008. (Apresentação de Trabalho/Conferência ou palestra).
VIZZOTTO, J. K. . Computação Quântica. 2008. (Apresentação de Trabalho/Conferência ou palestra).
VIZZOTTO, J. K. . Uma Introdução a Computação Quântica. 2007. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

CALEGARO, B. C. ; VIZZOTTO, J. K. . QJAVA: SETAS QUÂNTICAS EM JAVA. 2013.

VIZZOTTO, J. K. ; SABRY, A. . QHaskell. 2006.

VIZZOTTO, J. K. ; COSTA, A. C. R. ; DIMURO, G. P. . Uma Calculadora para Aritmética Reala Recursiva. 1999.

VIZZOTTO, J. K. . WEIT 2015, the Third Workshop-School on Theoretical Computer Science. 2016. (Editoração/Anais).

VIZZOTTO, J. K. ; CHARAO, A. ; VELHO, H. F. C. . Aplicações de Grades Computacionais: Estudos de Caso em Meteorologia e Hidrologia. 2010. (Curso de curta duração ministrado/Outra).

VIZZOTTO, J. K. . Linguagens de Programação para Computação Quântica. 2008. (Curso de curta duração ministrado/Outra).

VIZZOTTO, J. K. ; COSTA, A. C. R. . Linguagens de Programação Quântica. 2006. (Curso de curta duração ministrado/Outra).

CODEVILLA, F. F. ; KRUM, F. C. ; VIZZOTTO, JULIANA K. . Identidade Artificial. 2022. Performance.

CODEVILLA, F. F. ; KRUM, F. C. ; VIZZOTTO, J. K. . Performance audiovisual Identidade Artificial. 2021. Performance.

SANTOS, N. C. ; SCHETINGER, M. R. C. ; VIZZOTTO, J. K. . Luz (Arte) e Sustentabilidade (curadoria coletiva). 2019. Outra.

SANTOS, N. C. ; SCHETINGER, M. R. C. ; VIZZOTTO, J. K. . (Bio)Arte e sustentabilidade (curadoria coletiva). 2018. Outra.

Projetos de pesquisa

2021 - Atual

Museu Arte-Ciência-Tecnologia: transdisciplinaridade como estratégia Curatorial, Expográfica e de Arquivo, Descrição: O projeto Transdisciplinaridade como estratégia Curatorial, Expográfica e de Arquivo (2021-2024) surge como atualização do anterior Museu Arte-Ciência-Tecnologia (2017-2022). Configura-se como uma atividade de Ensino, Pesquisa e Extensão, junto ao LABART/CAL/UFSM, através do grupo de pesquisa Arte e Tecnologia CNPq. Este projeto de caráter transdisciplinar segue permitindo, na área de investigação das Artes Visuais, estudar artistas e obras em poéticas digitais, discutir questões emergentes no campo da arte, ciência e tecnologia digital, aprofundar o estudo e a prática em curadoria, expografia e arquivo para contribuir com a História, Teoria e Crítica da Arte Contemporânea. Mantém vínculos com artistas emergentes e reconhecidos nacional e internacionalmente para as exposições desde: no MASM, 2011 - ação Museu Interativo Arte-Ciência-Tecnologia e Patrimônio Cultural: "Mata-200 milhões de anos Árvore Pedra", com Anna Barros; na UFSM, 2013 - ação Museu Interativo Arte-Ciência-Tecnologia: "Arte-Sustentabilidade-Ciência", com Guto Nóbrega, Malu Fragoso, Carlos Donaduzzi, Fernando Codevilla e Anelise Witt; no CAL/UFSM, 2015 - ação Museu Interativo Arte-Ciência-Tecnologia: ?Neuroarte?, com Alberto Semeler; e, no CAL/UFSM, 2016 - ação Museu Arte-Ciência-Tecnologia: ?Neurociência e Arte: percepção sensível?, com Mariela Yeregui, Manuela Lopez, Raquel Zuanon, Rosangela Leote, Tania Fraga, entre outros, junto ao FACTORS 3.0, ?Neurociência e Arte: percepção sensível? (a partir de 2016, as ações do Museu Arte-Ciência-Tecnologia acontecem em paralelo às edições do FACTORS); no CAL/UFSM, 2017 - ?Neuro Bioarte?, junto ao FACTORS 4.0 ?Bioarte? integrado à BIENALSUR de Buenos Aires; no CAL/UFSM, 2018 ?Bio(arte) e Sustentabilidade?- junto FACTORS 5.0 ?Bioarte e sustentabilidade?; 2019 - ?Luz, (Arte) e Sustentabilidade? junto ao FACTORS 6.0 ?Luz e energia?, integrado à BIENALSUR/UNTREF; 2020 - FACTORS 7.0 ?Água e sustentabilidade?, que acontece integralmente online; 2021- FACTORS 8.0 trata de ?Contágios?, mais especificamente sobre ?Propagação digital: do in loco ao online?, integrado à terceira edição da BIENALSUR. Para os anos de 2021 a 2024, o presente projeto dá continuidade à investigação estruturada de modo mais amplo, quando prevê discutir a TRANSDISCIPLINARIDADE COMO ESTRATÉGIA CURATORIAL, EXPOGRÁFICA E DE ARQUIVO anualmente: nas reuniões semanais do grupo de pesquisa, nas ações expositivas temáticas em arte ciência e tecnologia; nos simpósios de arte contemporânea; nas exposições do FACTORS; e nas publicações de catálogos e livros... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Kaizer Vizzotto - Integrante / Nara Cristina Santos - Coordenador / Fernando Franco Codevilla - Integrante / Manoela Vares - Integrante / Darci Raquel Fonseca - Integrante / Andrea Capssa - Integrante / Cristina Landerdahl - Integrante / Maria Rosa Chitolina - Integrante / Raul Dotto - Integrante / Fabiola Assunção de Oliveira - Integrante.
2017 - Atual

Núcleo de Excelência em Desenvolvimento Integrado de Sistemas Computacionais, Descrição: Este projeto visa promover o desenvolvimento de métodos e tecnologias que permitam o desenvolvimento integrado de sistemas de hardware e software exponencialmente mais complexos, mantendo os custos com crescimento linear, ao mesmo tempo em que se garantem propriedades não funcionais decisivas como baixo consumo de energia, tolerância a falhas, qualidade de serviço, segurança e interfaces naturais com os usuários finais. Assim, os objetivos desse núcleo incluem o desenvolvimento integrado eficiente de sistemas computacionais de grande relevância para diferentes áreas, sendo divididos em três frentes principais: 1) Redes de Sensores Sem Fio e Sistemas Cibernéticos- Fisicos; 2) Suporte ao desenvolvimento de sistemas com requisitos não funcionais; 3) Programabilidade e paralelismo.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Kaizer Vizzotto - Integrante / Alvaro Freitas Moreira - Integrante / Flavio Rech Wagner - Coordenador / Luigi Carro - Integrante / Érika Fernandes Cota - Integrante / Carlos Eduardo Pereira - Integrante / Gabriel Luca Nazar - Integrante / Mateus Beck Rutzig - Integrante / Lisane Brisolara de Brisolara - Integrante / Julio Carlos Balzano de Mattos - Integrante / Silvia Silva da Costa Botelho - Integrante / Danubia Bueno Espindola - Integrante / Claudio Schepke - Integrante / Edison Pignaton de Freitas - Integrante / Antonio Carlos Schneider Beck Filho - Integrante / Luis da Cunha Lamb - Integrante / Paulo Roberto Ferreira Jr - Integrante / Rodrigo Machado - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
2017 - Atual

Museu Arte-Ciencia-Tecnologia: ações expositivas e estratégias museais, Descrição: Descrição: O Projeto Museu Arte Ciência Tecnologia configura-se como uma atividade de ensino, PESQUISA e extensão, junto ao LABART/CAL/UFSM, através do grupo de pesquisa Arte e Tecnologia CNPq. Este projeto de caráter transdisciplinar tem permitido, na área de investigação das Artes Visuais, estudar artistas e obras em poéticas digitais, discutir questões emergentes no campo da arte, ciência e tecnologia digital, aprofundar o estudo e a prática em curadoria e expografia, mais especificamente sobre ações expositivas e estratégias museais, para contribuir com a História, Teoria e Crítica da Arte Contemporânea. A ideia deste projeto começou em 2010, a partir de uma conversa informal entre duas pesquisadoras , coordenadoras de cursos de pós-graduação na época, interessadas em propostas transdisciplinares que pudessem ser exploradas na articulação do ensino, pesquisa e extensão através de um espaço expositivo. O projeto colaborativo passou por diferentes fases e a partir de 2016 assume a nomenclatura Projeto Museu Arte Ciência Tecnologia . Nestes anos, ainda sem espaço físico próprio, realizamos diferentes ações expositivas e, na área das Artes Visuais, sob minha responsabilidade, contamos com a presença de artistas reconhecidos nacional e internacionalmente, assim como artistas emergentes: no MASM , 2011 - ação Museu Interativo Arte-Ciência-Tecnologia e Patrimônio Cultural: "Mata-200 milhões de anos Árvore Pedra", com Anna Barros; na UFSM, 2013 - ação Museu Interativo Arte-Ciência-Tecnologia: "Arte-Sustentabilidade-Ciência", com Guto Nóbrega, Malu Fragoso, Carlos Donaduzzi, Fernando Codevilla e Anelise Witt; no CAL/UFSM, 2015 - ação Museu Interativo Arte-Ciência-Tecnologia: ?Neuroarte?, com Alberto Semeler; e, no CAL/UFSM, 2016 - ação Museu Arte-Ciência-Tecnologia: ?Neurociência e Arte: percepção sensível?, com Mariela Yeregui, Manuela Lopez, Raquel Zuanon, Rosangela Leote, Tania Fraga, entre outros, junto ao FACTORS 3.0 . Estas ações expositivas, somadas à atualização do conhecimento nas áreas envolvidas, desencadearam um percurso próprio e uma dinâmica expositiva que deu ao grupo, formado por pesquisadores, artistas, estudantes de pós-graduação e graduação, e técnicos, consistência e competência. O reconhecimento dos resultados, com a maturidade nesta fase inicial, foi alcançado em 2014 com a aprovação do projeto NeuroArte: Museu Itinerante de Neurociência, Arte e Tecnologia pela Chamada MCTI/CNPq/SECIS n.085/2013 de apoio à criação e ao desenvolvimento de centros e museus de ciência, com coordenação de Maria Rosa Chitolina e co-coordenacao de Nara Cristina Santos para área das Artes. Para os próximos cinco anos, de 2017 a 2022, este projeto trata das experiências anteriores que terão continuidade através das reuniões semanais dos grupos de pesquisa, mas também está estruturado de modo mais amplo, quando prevê atuações transdisciplinares conjuntas que possam acontecer anualmente com ênfase na pesquisa, no ensino de graduação e pós-graduação, e nas ações decorrentes de extensão: nas ações expositivas temáticas em arte ciência e tecnologia; nos Simpósios de Arte Contemporânea; nas exposições do FACTORS, nos Fóruns de Arte, Cinema e Audiovisual; e, nos cursos de extensão... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Kaizer Vizzotto - Integrante / Nara Cristina Santos - Coordenador / Fernando Franco Codevilla - Integrante / Darci Raquel Fonseca - Integrante / Andrea Capssa - Integrante / Maria Rosa Chitolina - Integrante.
2016 - Atual

Cooperação Internacional - STIC/AmSud - Fundamentos da Computação Quântica: Sintaxe e Semântica, Descrição: Este projeto de cooperação internacional Brasil - França - Argentina propõe o estudo de características da computação quântica relacionadas com linguagens de programação quântica, que podem ser utilizadas e aplicadas no estudo aplicadas no estudo de sistemas utilizados atualmente. Ademais, considerando-se uma perspectiva mais fundamental, busca-se investigar as implicações dos princípios da Ciencia da Computação para a física quântica. Por exemplo, as consequências da tese de Church-Turing para experimentos como o de Bell. O objetivo geral e começar uma nova direção de pesquisa na busca por um framework que unifique ambas as áreas de pesquisa... , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Juliana Kaizer Vizzotto - Coordenador / Giovani Ruberti Librelotto - Integrante / Eduardo Kessler Piveta - Integrante / Alejandro Díaz-Caro - Integrante / Gilles Dowek - Integrante / Simon Perdrix - Integrante / Benôıt Valiron - Integrante / Hanry Wang - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2011 - 2016

Programação de Máquinas Multicore Usando Composição de ações Transacionais em Linguagens Orientadas a Objeto, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) . , Integrantes: Juliana Kaizer Vizzotto - Integrante / André Rauber Du Bois - Coordenador / Maurício Lima Pilla - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
2011 - Atual

Computação Quântica no PET da UFSM, Descrição: Este projeto de ensino e pesquisa para alunos de graduação da Universidade Federal de Santa Maria visa o estudo, implementação de algoritmos quânticos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Juliana Kaizer Vizzotto - Coordenador.
2009 - 2010

Cálculo Lambda Quântico Comonádico, Descrição: Este projeto propõe o a investigacão de estruturas categóricas, como co-mônadas para modelar a semântica do efeito da medida em programas quânticos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Juliana Kaizer Vizzotto - Coordenador / Amr Sabry - Integrante / Giovani Ruberti Librelotto - Integrante / André Rauber Du Bois - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
2007 - 2009

Computação Quântica com Nanomáquinas, Descrição: O projeto em questão visa o desenvolvimento de um ambiente para computação quântica baseado na adordagem de nanomáquinas quânticas proposta por Penrose e Hameroff utilizando como modelo computacional o trabalho sobre autômatos celulares paralelos quânticos proposto por Margolus.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Juliana Kaizer Vizzotto - Coordenador / Mirkos Martins - Integrante / Giovani Ruberti Librelotto - Integrante., Financiador(es): Universidade Franciscana - Remuneração., Número de produções C, T & A: 2
2007 - 2008

Rede estadual de Climatologia (RECLIRS), Descrição: Este projeto tem como missão organizar um ambiente de grade computacional dedicado para previsão climatológica de mesoescala e sua aplicação em bacias hidrológicas para o estado do Rio Grande do Sul.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Juliana Kaizer Vizzotto - Integrante / Haroldo Fraga Campos Velho - Coordenador / Philip O A Navaux - Integrante / Nicolas Maillard - Integrante / Andrea S. Charao - Integrante / Walter Collischonn - Integrante / Gilberto Diniz - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

Prêmios

2014

Professora Homenageada XX turma de Bacharelado em Ciência da Computação, UFSM.

2013

WEIT 2013 Workshop Escola em Informática Teórica - Melhores Artigos - Quantum Monad using Java Closures - Bruno Crestani Calegaro, Juliana Kaizer Vizzotto, SBC.

2011

Professora Homenageada XIV Turma de Bacharelado em Ciência da Computação, UFSM.

2007

Terceiro Lugar no XX Concurso de Tese e Dissertações da SBC, Sociedade Basileira de Computação.

2005

Primeiro Lugar no Concurso para Professor Substituto no Departamento de Informática Teórica, Universidade Federal do Rio Grande do Sul.

2001

Primeiro Lugar no Concurso para Professor Substituto no Departamento de Informática Teórica, Universidade Federal do Rio Grande do Sul.

2001

Selecionada para upgrade de bolsa de mestrado para doutorado direto, defendendo o mestrado em tempo mínimo de 18 meses., Programa de Pós-Graduação em Computação/UFRGS.

Histórico profissional

Endereço profissional

Universidade Federal de Santa Maria, Centro de Tecnologia. , Campus UFSM, Faixa de Camobi(RS-509), Km 9, Sala 380 - Predio Anexo (CT), Camobi, 97105-900 - Santa Maria, RS - Brasil, Telefone: (055) 32208523, Ramal: 24, URL da Homepage:

Experiência profissional

2006 - 2008

Instituto Nacional de Pesquisas Espaciais

Vínculo: Bolsista PCI, Enquadramento Funcional: Pesquisadora, Carga horária: 40

Outras informações:
Analista de sistema em computação aplicada à meteorologia. Suporte à computação paralela, distribuída e grades.

Atividades

11/2006 - 07/2008
Pesquisa e desenvolvimento, Centro Regional Sul.,Linhas de pesquisa

2006 - 2006

Universidade Católica de Pelotas

Vínculo: Professora, Enquadramento Funcional: Professor Assistente, Carga horária: 20

Atividades

02/2006 - 11/2006
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estrutura de Dados I, Algoritmos e Estrutura de dados II, Laboratório de Programacão II, Laboratório de redes de computadores, Lógica para Computacão

2009 - Atual

Universidade Federal de Santa Maria

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Atividades

06/2013
Conselhos, Comissões e Consultoria, Centro de Tecnologia, Departamento de Linguagens e Sistemas de Computação.,Cargo ou função, Membro do Colegiado do Departamento de Linguagens e Sistemas de Computação.
05/2012
Conselhos, Comissões e Consultoria, Centro de Tecnologia.,Cargo ou função, Comissão do Núcleo Docente Estruturante - NDE, do Curso de Bacharelado em Sistemas da Informação..
03/2012
Pesquisa e desenvolvimento, Centro de Tecnologia, Programa de Pós-Graduação em Informática.,Linhas de pesquisa
03/2010
Pesquisa e desenvolvimento, Centro de Tecnologia, Programa de Pós-Graduação em Informática.,Linhas de pesquisa
03/2010
Pesquisa e desenvolvimento, Centro de Tecnologia, Programa de Pós-Graduação em Informática.,Linhas de pesquisa
08/2019 - 12/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação
07/2019 - 12/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos
03/2019 - 07/2019
Ensino, Programa de Pós-Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Projeto e Implementação de Linguagens de Programação
03/2019 - 07/2019
Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação
03/2018 - 07/2018
Ensino, Programa de Pós-Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Projeto e Implementação de Linguagens de Programação
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos, Teoria da Computação
07/2016 - 12/2016
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos, Teoria da Computação
04/2015 - 12/2016
Direção e administração, Centro de Tecnologia, Departamento de Linguagens e Sistemas de Computação.,Cargo ou função, Chefe do Departamento.
03/2016 - 07/2016
Ensino, Programa de Pós-Graduação e Informática, Nível: Pós-Graduação,Disciplinas ministradas, Linguagens de Programação
03/2016 - 07/2016
Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação
08/2015 - 12/2015
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos, Teoria da Computação
03/2015 - 08/2015
Ensino, Programa de Pós-Graduação e Informática, Nível: Pós-Graduação,Disciplinas ministradas, Linguagens de Programação
03/2015 - 07/2015
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados
08/2013 - 04/2015
Direção e administração, Centro de Tecnologia, Departamento de Linguagens e Sistemas de Computação.,Cargo ou função, Chefe Substituta.
08/2014 - 12/2014
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos, Teoria da Computação
03/2014 - 07/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Laboratório de Programação II
03/2014 - 07/2014
Ensino, Programa de Pós-Graduação e Informática, Nível: Pós-Graduação,Disciplinas ministradas, Linguagens de Programação
03/2012 - 03/2014
Conselhos, Comissões e Consultoria, Centro de Tecnologia.,Cargo ou função, Membro do Colegiado do curso de Sistemas de Informação.
12/2013 - 12/2013
Conselhos, Comissões e Consultoria, Centro de Tecnologia.,Cargo ou função, Comissão de Avaliação dos Pedidos de Ingresso/Reingresso no primeiro semestre de 2013 no curso de Bacharelado em Sistemas de Informação..
08/2013 - 12/2013
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Laboratório de Programação II, Projeto e Análise de Algoritmos, Teoria da Computação
04/2013 - 07/2013
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Preparação para Maratona de Programação, Laboratório de Programação I
04/2013 - 07/2013
Ensino, Programa de Pós-Graduação e Informática, Nível: Pós-Graduação,Disciplinas ministradas, Linguagens de Programação
09/2011 - 09/2012
Conselhos, Comissões e Consultoria, Centro de Tecnologia, Programa de Pós-Graduação em Informática.,Cargo ou função, Membro do Colegiado do Pograma de Pós-Graduação em Informática.
03/2012 - 07/2012
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Preparação para Maratona de Programação
08/2011 - 12/2011
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica e Algoritmos, Projeto e Análise de Algoritmos
08/2011 - 12/2011
Ensino, Programa de Pós-Graduação e Informática, Nível: Pós-Graduação,Disciplinas ministradas, Linguagens de Programação
03/2011 - 07/2011
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Laboratório de Programação II, Inteligência Artificial, Teoria da Computação
08/2010 - 12/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Paradigmas de Programação
08/2010 - 12/2010
Ensino, Engenharia de Controle e Automação, Nível: Graduação,Disciplinas ministradas, Algoritmo e Programação
08/2010 - 12/2010
Ensino, Programa de Pós-Graduação e Informática, Nível: Pós-Graduação,Disciplinas ministradas, Linguagens de Programação
03/2010 - 07/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Paradigmas de Programação, Teoria da Computação
08/2009 - 12/2009
Ensino, Ciência da Computacão, Nível: Graduação,Disciplinas ministradas, Paradigmas de Programacão
08/2009 - 12/2009
Ensino, Bacharelado em Matemática, Nível: Graduação,Disciplinas ministradas, Algoritmo e Programacão
08/2009 - 12/2009
Ensino, Bacharelado em Estatística, Nível: Graduação,Disciplinas ministradas, Algoritmo de Programacão

2005 - 2006

Universidade Federal do Rio Grande do Sul

Vínculo: , Enquadramento Funcional: Professor Substituto, Carga horária: 20

2001 - 2002

Universidade Federal do Rio Grande do Sul

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 20

Atividades

08/2005 - 01/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica para Computação
03/2001 - 08/2002
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica para Computação

2007 - 2009

Universidade Franciscana

Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 40

Atividades

03/2009 - 07/2009
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Comunicação de Dados e Teleprocessamento
03/2009 - 07/2009
Ensino, Nanociências, Nível: Pós-Graduação,Disciplinas ministradas, Programação Paralela e Distribuída, Tecnologias de Computação
05/2008 - 07/2009
Outras atividades técnico-científicas , Conselho de Áreas, Conselho de Áreas.,Atividade realizada, Membro do Comitê Técnico Científico da Área de Ciências Naturais e Tecnológicas.
04/2008 - 07/2009
Conselhos, Comissões e Consultoria, Conselho de Áreas, Curso de Ciência da Computação.,Cargo ou função, Membro do Colegiado do curso de Ciência da Computação.
08/2008 - 12/2008
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Comunicação de Dados e Teleprocessamento, Programação Funcional
08/2008 - 12/2008
Ensino, Nanociências, Nível: Pós-Graduação,Disciplinas ministradas, Bioestatística, Modelagem e Simulação Computacional
03/2008 - 07/2008
Ensino, Nanociências, Nível: Pós-Graduação,Disciplinas ministradas, Introdução a Computação
03/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Complexidade de de Algoritmos
07/2007 - 12/2007
Ensino, Nanociências, Nível: Pós-Graduação,Disciplinas ministradas, Bioinformática, Computação quântica, Processamento Paralelo
03/2007 - 07/2007
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Redes de Computadores

2002 - 2006

Faculdades Riograndenses

Vínculo: Professor horista, Enquadramento Funcional: Professor horista, Carga horária: 8

Atividades

05/2003 - 02/2006
Ensino, Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação, Sistemas Distribuídos