Minicurso 1 - Computação Quântica com jogos e IBM Qiskit
O minicurso oferece uma introdução acessível na área da computação quântica usando jogos e simuladores. Neste minicurso, os participantes serão introduzidos aos conceitos fundamentais da computação quântica e aprenderão a usar a biblioteca IBM Qiskit, uma das principais ferramentas de desenvolvimento atuais para programação quântica.
Cecilia Botelho
Sou estudante de Ciência da Computação na Universidade Federal de Pelotas, atualmente faço parte de um grupo de pesquisa com enfoque em computação quântica. Tenho experiência em processamento de dados avançados e familiaridade com diversas linguagens de programação. Atuei como bolsista de iniciação científica em um grupo de pesquisa em inteligência artificial, onde explorei aplicações de lógica fuzzy. Desenvolvi também fluência em inglês durante um intercâmbio em Vancouver, Canadá.
Gabriel Ramires
Sou estudante do sexto semestre de Ciência da Computação na Universidade Federal de Pelotas. Minha experiência engloba processamento de dados, inteligência artificial e desenvolvimento de software. Atuo como bolsista de iniciação científica em computação quântica e lógica Fuzzy e também ocupo um cargo na presidência da Empresa Júnior de Computação da UFPEL (HUT8).
Vinicius Peruzzi
Estudante do sétimo semestre de Ciência da Computação na Universidade Federal de Pelotas. Possuo grande contato com HPC (High Performance Computing) usado em programação paralela e distribuída, especialmente utilizando linguagens de baixo nível, como C e C++, bem como ferramentas como MPI, OPenMP e RPC. Atuo como bolsista de iniciação científica em computação quântica e lógica fuzzy, e como voluntário, também na iniciação científica, na área de sistemas operacionais, no desenvolvimento de uma plataforma de simulação com objetivos didáticos e educacionais.
Gabriel Rosa
Sou estudante de ciências da computação na Universidade Federal de Pelotas (UFPEL). Tenho experiência em impressão 3D e suporte ao usuário como técnico de informática. Atualmente, participo como bolsista de iniciação científica em computação quântica e jogos digitais.
Minicurso 2 - Utilização de Model Checking na verificação formal de sistemas autônomos
Neste minicurso será apresentado um modelo formal que representa um sistema autônomo simples. Tal modelo será construído na ferramenta de model checking UPPALL, onde é possível simular o modelo e também executar verificações formais usando lógica temporal. O minicurso tem o seguinte programa:
1 - Visão geral de autômato temporal e lógica temporal.
2 - Utilização da ferramenta de model checking UPPALL.
3 - Apresentação de um exemplo de sistema autônomo baseado em agentes representando um veículo autônomo em trânsito urbano.
4 - Construção do referido exemplo usando o UPPAAL.
5 - Verificação formal de propriedades temporais usando o exemplo anterior.
Gleifer Vaz Alves
Possui graduação em Ciência da Computação pela Universidade Católica de Pelotas (2002), mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (2005) e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (2009). Em 2018 realizou dois estágios de pós-doutorado, o primeiro na University of Liverpool (United Kingdom), sob supervisão do professor Michael Fisher e o segundo na Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), sob supervsião do professor Rafael Bordini. Atualmente é professor Associado I da Universidade Tecnológica Federal do Paraná - Câmpus Ponta Grossa, onde é docente dos cursos de Bacharelado em Ciência da Computação e do Mestrado em Ciência da Computação (PPGCC). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, Lógica Computacional, Teoria da Prova, Métodos Formais, Linguagens de Programação, Agentes Inteligentes e Sistemas Multi-Agentes. No momento atua em projetos de pesquisa envolvendo os tópicos de Veículos Autônomos, Cidades Inteligentes e Agentes Éticos (e Machine Ethics), usando técnicas de Implementação de Agentes e Sistemas Multi-Agentes e Verificação Formal de Agentes Inteligentes.
