Samuel da Silva Feitosa

Possui bacharelado em Ciência da Computação, especialização em Gestão Empresarial, especialização e licenciatura em Educação Profissional e Tecnológica, especialização em Gestão da Educação Profissional e Tecnológica, mestrado e doutorado em Ciência da Computação. Possui experiência com as linguagens de programação Haskell, Agda, Java, C/C++, Python, dentre outras. Atuou como analista em sistemas de comunicação para transações eletrônicas, drivers para GNU/Linux, sistemas para gerência, controle e segurança de rede e internet e em sistemas de replicação/sincronização de dados. Foi co-autor de projetos selecionados pelos programas PRIME (Primeira Empresa Inovadora) e Sinapse da Inovação. Foi autor de projetos de pesquisa aprovados pelo CNPq, FAPESC e SETEC/MEC. É o atual coordenador da Comissão Especial de Linguagens de Programação da SBC. Trabalhou com pesquisas relacionando linguagens de programação e computação quântica. Atualmente trabalha com pesquisas na área de semântica e sistemas de tipos em linguagens de programação, geração aleatória de código-fonte e na área de aprendizagem de máquina aplicada à saúde. Foi professor da Unochapecó, da UFSM e do IFSC. Atualmente é professor adjunto na Universidade Federal da Fronteira Sul.

Informações coletadas do Lattes em 06/03/2025

Acadêmico

Formação acadêmica

Doutorado em COMPUTAÇÃO

2016 - 2019

Universidade Federal de Pelotas
Título: Strategies for Testing and Formalizing Properties of Modern Programming Languages
Orientador: em Utrecht University ( Wouter Swiestra)
com , Ano de obtenção: 2019. André Rauber Du Bois. Coorientador: Rodrigo Geraldo Ribeiro. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Informática

2014 - 2016

Universidade Federal de Santa Maria
Título: Uma Linguagem de Programação Quântica Orientada a Objetos Baseada no Featherweight Java
, Ano de Obtenção: 2016.Juliana Kaizer Vizzotto.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul, FAPERGS, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computação Quântica.

Especialização em Gestão Pública na Educação Profissional e Tecnológica

2021 - 2021

Instituto Federal de Santa Catarina
Título: Proposta de Melhoria no Processo de Avaliação para o Reconhecimento de Cursos Superiores no Instituto Federal de Santa Catarina
Orientador: Silvana Ferreira Pinheiro e Silva

Especialização em Docência para a Educação Profissional e Tecnológica

2017 - 2019

Instituto Federal de Santa Catarina
Título: Aprendendo Conceitos de Orientação a Objetos Através das Ferramentas Scratch e Snap!
Orientador: Rafaela Lunardi Comarella

Especialização em Gestão Empresarial

2011 - 2012

UCEFF FACULDADES
Título: Gestão Estratégica de Custos para Pequenas Empresas - Estudo de Caso BeanWeb Soluções
Orientador: Cleonir Paulo Theisen

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

2003 - 2007

Universidade Comunitária da Região de Chapecó
Título: Otimização de Horários Educacionais Utilizando Algoritmos Genéticos
Orientador: Cristiano Agosti

Idiomas

Inglês

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

Espanhol

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.

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: Metodologia e Técnicas da Computação.

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

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

Organização de eventos

FEITOSA, S. S. . XXVII Simpósio Brasileiro de Linguagens de Programação. 2023. (Congresso).

Feitosa, Samuel . 2ª Edição do Inova Hackathon. 2021. (Outro).

Feitosa, Samuel . Semana Acadêmica de Sistemas de Informação. 2021. (Outro).

Feitosa, Samuel ; RIBEIRO, Rodrigo Geraldo . ETMF 2020 ? V School Theoretical Computer Science and Formal Methods. 2020. (Congresso).

Feitosa, Samuel ; RIBEIRO, Rodrigo Geraldo . SBMF 2020 ? XXIII Brazilian Symposium on Formal Methods. 2020. (Congresso).

Feitosa, Samuel . 2ª Edição do Inova Hackathon. 2021. (Outro).

Participação em bancas

Aluno: Reges Antonio Deon

FEITOSA, S. S.. Desenvolvimento de fluxograma para rastreamento da tuberculose em unidade prisional a partir de scanner corporal. 2022. Dissertação (Mestrado em Enfermagem na Atenção Primária à Saúde) - Universidade do Estado de Santa Catarina.

Aluno: Evandro Chagas Ribeiro da Rosa Título do trabalho: Ket Quant

FEITOSA, S. S.. Ket Quantum Programming. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: ADRIANO DIEGO ZORTEA

FEITOSA, S. S.. RECONHECIMENTO DE ESPÉCIES DE ANIMAIS ATRAVÉS DA ANÁLISE DA BIOACÚSTICA UTILIZANDO MACHINE LEARNING. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: ALISSON LUAN DE LIMA PELOSO

FEITOSA, S. S.. CONSTRUÇÃO DE UMA FERRAMENTA PARA AUXILIAR NA COMPREENSÃO DA ESTRUTURA DO MERCADO FUTURO DE ATIVOS DE PROTEÇÃO NA B3 USANDO INTELIGÊNCIA ARTIFICIAL. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: EDUARDO CAMARGO RIBEIRO BORGES

FEITOSA, S. S.. APLICAÇÃO E COMPARAÇÃO DE ALGORITMOS DE APRENDIZADO DE MÁQUINA NA DETECÇÃO DE FAKE REVIEWS DE E-COMMERCES EM PORTUGUÊS. 2023. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina.

Aluno: Everaldo Pereira Gomes

FEITOSA, S. S.. GENETIC ALGORITHM FOR GRAPH COLORING. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: FERNANDO FRANCESCHET DE SOUZA

FEITOSA, S. S.. UMA APLICAÇÃO PARA A RESOLUÇÃO DO PROBLEMA DE ALOCAÇÃO DE SALAS NA UNIVERSIDADE FEDERAL DA FRONTEIRA SUL, CAMPUS CHAPECÓ. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: Jaqueline Carniato Bauleo

FEITOSA, S. S.. Identificação da Positividade, Negatividade ou Neutralidade em Letras de Música Utilizando Técnicas de Análise de Sentimento. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: Leonardo Rocha

FEITOSA, S. S.. What Happened in 2020: a Topic Modeling Approach based on a Topic Similarity Metric. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: Lucas Trentini Bordin

FEITOSA, S. S.. Nagenawa is NP-complete. 2023.

Aluno: Luís Felippe Tomazini Fernandes

FEITOSA, S. S.. Desenvolvimento de um editor de cenários de plasma para o TOKAMAK - TCABR. 2023. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina.

Aluno: TAINAM SPAGNOLLO GARBIN

FEITOSA, S. S.. UMA ABORDAGEM PARA MIGRAÇÃO DE BANCO DE DADOS RELACIONAL PARA NOSQL ORIENTADO A DOCUMENTOS. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: Julio Cesar Belenke dos Santos

Córdova, Paulo Roberto; Sales Dias da Rosa, Vitor; Garcia, Cristiano;Feitosa, Samuel. Usando mineração de dados para predição da evasão escolar. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina.

Aluno: Lucas de Mattos

Garcia, Cristiano;Feitosa, Samuel. Aplicação de Técnicas de Machine Learning no Apoio à Detecção de Fraudes em Pagamentos Online. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina.

Aluno: Loureno de Lara

Feitosa, Samuel; Negri, Gabriel; MENDES, L. G.. Otimização da Programação da Produção em uma Indústria de Embalagens Utilizando Redes Neurais Artificiais. 2020. Trabalho de Conclusão de Curso (Graduação em Engenharia de Produção) - Instituto Federal de Santa Catarina.

Orientou

Douglas Kosvoski

Mineração de Repositórios de Código Aberto para Construção de Benchmarks com Código Gerado Aleatoriamente; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Leonardo José Gonçalves

Geração de Casos de Testes Aleatórios a Partir de uma Especificação OpenAPI; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Márcio Rios

Extração e Tradução de Texto de Arquivos Estruturados: Tradução Simples e Rápida para Jogos e Aplicações Web; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

CASSIANE VITÓRIA GAIARDO

Geração Aleatória de Expressões Lambda para Teste dos Compiladores de Java; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Fernando Schreiner Magnabosco

Geração de código Rust aleatório utilizando modelos de linguagem ampla para testes de compiladores; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Leonardo Hideaki Nakamichi de Lima

Utilização de LLMs para Sumarização de Documentos Legais; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Mateus de Lima

Geração de Documentos JSON a partir do Schema Utilizando LLMs; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Fernando Schreiner Magnabosco

Geração de Código Aleatório RUST Utilizando LLMs; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Gabriel Zortea Salvi

Geração de código Solidity; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

[Nome removido após solicitação do usuário]

TCC Startup: Plataforma EduBox; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

João Pedro Lamaison Miranda

Geração Parcial de Código Aleatório Java para Placeholders Tipados; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Junior Vitor Ramisch

Geração Aleatória de Documentos JSON a partir do Schema; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Mateus Alan Kirsten Koppe

Compilação do Lambda Cálculo para eBPF; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; (Orientador);

Fernanda Norbak Dalla Cort

Desenvolvimento de Protocolo para Classificação de Risco com Enfoque na Sintomatologia da COVID-19: Subsídio Teórico para Construção de um Software; 2022; Dissertação (Mestrado em Mestrado Profissional em Enfermagem) - Universidade do Estado de Santa Catarina, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina; Coorientador: Samuel da Silva Feitosa;

Bernardo Beltrame Facchi

Geração de Programas Aleatórios para a Linguagem Elixir; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Samuel da Silva Feitosa;

Fabio Alecsandro Bacin

Uma revisão sistemática sobre geração de código utilizando LLMs; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Samuel da Silva Feitosa;

Rodolfo Trevisol

Classificação de Células Brancas a partir de Amostras de Sangue usando Rede Neural Artificial Convolucional; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Samuel da Silva Feitosa;

Guilherme Rafael Graeff

Geração de Programas Aleaórios em Haskell Aplicado a Testes de Otimização em Compiladores; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Samuel da Silva Feitosa;

Natanael Henrik Zago

Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Samuel da Silva Feitosa;

Nataniel Fernando Lemes Siebeneichler

Uma DSL para gerar APIs RESTFul em Haskell; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Samuel da Silva Feitosa;

Douglas Rosa

APIs Genéricas para BackEnd em Sistemas Mobile; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Samuel da Silva Feitosa;

Bruno Schafasheck Coelho

Teste diferencial de compiladores utilizando código gerado aleatoriamente; 2022; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina; Orientador: Samuel da Silva Feitosa;

Luiz Felipe Kraus

Testando os mecanismos de refatoração automática utilizando código gerado de forma aleatória; 2022; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina; Orientador: Samuel da Silva Feitosa;

Anthony Cruz

Aplicando Deep Learning para Detecção de Células em Amostras de Sangue; 2021; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina; Orientador: Samuel da Silva Feitosa;

Vinicius Bortolini

Usando Aprendizagem de Máquina para Predição do Diagnóstico do COVID-19; 2021; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina; Orientador: Samuel da Silva Feitosa;

Julio C

B; Santos; Aplicando Mineração de Dados Para Predição da Evasão Escolar no Ensino Superior em uma Instituição Federal de Ensino; 2020; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Instituto Federal de Santa Catarina; Orientador: Samuel da Silva Feitosa;

Bernardo Beltrame Facchi

Geração de Código Aleatório para Teste Diferencial de Especificações; 2024; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Fronteira Sul, UFFS; Orientador: Samuel da Silva Feitosa;

Douglas Kosvoski

Teste Baseado em Propriedades Aplicados para Ferramentas da Linguagem Java; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Fronteira Sul; Orientador: Samuel da Silva Feitosa;

CASSIANE VITÓRIA GAIARDO

Geração de Programas para estes de APIs de Linguagens de Programação; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Fronteira Sul, UFFS; Orientador: Samuel da Silva Feitosa;

João Pedro Lamaison Miranda

Ana Flávia Carvalho

Aprendizagem de Máquina para Problemas Relacionados ao COVID-19; 2022; Iniciação Científica; (Graduando em Sistemas de Informação) - Instituto Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Samuel da Silva Feitosa;

Andréia de Fátima Muraro

Anthony Cruz

EDUARDO CAMARGO RIBEIRO BORGES

Guilherme Cauduro Scholl

Bruno Schafaschek Coelho

Geração de Programas Aleatórios para Testes de APIs de Linguagens de Programação; 2020; Iniciação Científica; (Graduando em Sistemas de Informação) - Instituto Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Samuel da Silva Feitosa;

Luiz Felipe Kraus

Produções bibliográficas

Cruz, Anthony ; GARCIA, CRISTIANO MESQUITA ; FEITOSA, S. S. . Using deep learning for blood cells detection. REVISTA BRASILEIRA DE COMPUTAÇÃO APLICADA , v. 16, p. 1-10, 2024.
GRAEFF, G. ; MELLO, BRAULIO ; Duarte, D. ; Andrei A. S. Braga ; FEITOSA, S. S. . A Random Generation of Haskell Programs Applied to Optimization Testing in Compilers. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 31, p. 20-29, 2024.
SANTOS, J. C. B. ; Goulart A. ; FEITOSA, S. S. ; Garcia, Cristiano . Aplicando Mineração de Dados para Predição da Evasão Escolar no Ensino Superior em uma Instituição Federal de Ensino. SISTEMAS DE INFORMAÇÃO (MACAÉ) , v. 29, p. 12-24, 2022.
FEITOSA, S. S. ; RIBEIRO, Rodrigo Geraldo . An intrinsically-typed solution for the list-machine benchmark. JOURNAL OF COMPUTER LANGUAGES , v. 1, p. 101085, 2021.
FEITOSA, S. S. ; RIBEIRO, Rodrigo Geraldo ; DU BOIS, ANDRE RAUBER . Towards an Extrinsic Formalization of Featherweight Java in Agda. CLEI ELECTRONIC JOURNAL , v. 24, p. 1-15, 2021.
CARDOSO, ELTON ; AMARO, M. J. J. ; FEITOSA, S. S. ; REIS, LEONARDO ; DU BOIS, ANDRÉ ; RIBEIRO, RODRIGO . The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. CLEI ELECTRONIC JOURNAL , v. 24, p. 1, 2021.
Feitosa, Samuel ; RIBEIRO, RODRIGO ; DU BOIS, ANDRE . A type-directed algorithm to generate random well-typed Java 8 programs. SCIENCE OF COMPUTER PROGRAMMING , v. 1, p. 102494, 2020.
da Silva Feitosa, Samuel ; LUNARDI COMARELLA, RAFAELA . Aprendendo Conceitos de Orientação a Objetos Usando as Ferramentas Scratch e Snap!. Anais do Computer on the Beach , v. 11, p. 490-496, 2020.
da Silva Feitosa, Samuel ; RIBEIRO, RODRIGO GERALDO ; RAUBER DU BOIS, ANDRE . Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 342, p. 3-20, 2019.
da Silva Feitosa, Samuel ; KAIZER VIZZOTTO, JULIANA ; Piveta, Eduardo Kessler ; RAUBER DU BOIS, ANDRE . A monadic semantics for quantum computing in an object oriented language. SCIENCE OF COMPUTER PROGRAMMING , v. 1, p. 1, 2018.
da Silva Feitosa, Samuel ; RIBEIRO, RODRIGO GERALDO ; Du Bois, Andre Rauber . Formal Semantics for Java-like Languages and Research Opportunities. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 25, p. 62, 2018.
FEITOSA, S. S. ; RIBEIRO, Rodrigo Geraldo ; RAUBER DU BOIS, ANDRE . A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. Lecture Notes in Computer Science , v. 11254, p. 1, 2018.
FEITOSA, S. S. ; NOGUEIRA, C. L. ; VIZZOTTO, J. K. . Mecânica Quântica: da Física para a Computação. Revista ComInG - Communications and Innovations Gazette , v. 1, p. 46, 2016.
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.
Dalla Cort, Fernanda ; Zanatta, Leila ; FEITOSA, S. S. ; Arruda, O. B. ; Carvalho, A. F. ; Morais, Bryan . Desenvolvimento de um Protótipo para Classificação de Risco com Enfoque na Sintomatologia da COVID-19: Produção Tecnológica em Enfermagem. In: Arnildo Korb; Carla Argenta; Leila Zanatta. (Org.). Desenvolvimento de um Protótipo para Classificação de Risco com Enfoque na Sintomatologia da COVID-19: Produção Tecnológica em Enfermagem. 1ed.Florianópolis: Editora Udesc, 2024, v. 4, p. 92-101.
Reginato, V. S. C. ; Espinoza, J. M. A. ; FEITOSA, S. S. ; Garcia, Cristiano . Panorama da COVID-19 no Estado de Santa Catarina. In: Miguel Albuquerque; Tiago Gandra. (Org.). Panorama da COVID-19 no Brasil. 1ed.: EDITORA CRV, 2022, v. , p. 295-.
AMARO, M. J. J. ; FEITOSA, S. S. ; RIBEIRO, Rodrigo Geraldo . A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. Formal Methods: Foundations and Applications. SBMF 2022. 1ed.: , 2022, v. 13768, p. 39-54.
FEITOSA, S. S. ; Garcia, Cristiano ; Espinoza, J. M. A. ; Reginato, V. S. C. . Análise de Sintomas e Comorbidades de Infectados pela COVID-19 de Santa Catarina por Meio de Técnicas de Mineração de Dados. In: Miguel Albuquerque; Tiago Gandra. (Org.). Panorama da COVID-19 no Brasil. 1ed.: EDITORA CRV, 2022, v. , p. 575-.
Dalla Cort, Fernanda ; Korb, Arnildo ; Feitosa, Samuel ; Zanatta, Leila . Riscos da Automedicação e do descarte dos medicamentos em tempos de COVID-19: Folder Informativo. In: Ana Carolina Messias de Souza Ferreira. (Org.). Internacional Saúde Única (Interface Mundial). 1ed.: , 2021, v. , p. 1-.
Agostini, Lucas ; Feitosa, Samuel ; Avila, Anderson ; Reiser, Renata ; DuBois, André ; Pilla, Maurício . Representing Intuistionistic Fuzzy Bi-implications Using Quantum Computing. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2018, v. 831, p. 206-216.
FEITOSA, SAMUEL S. ; RIBEIRO, RODRIGO GERALDO ; RAUBER DU BOIS, ANDRE . A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 39-55.
FEITOSA, S. S. ; NOGUEIRA, C. L. ; VIZZOTTO, J. K. . Mecânica Quântica: da Física para a Computação. In: Giovani Rubert Librelotto. (Org.). REVISTA COMING. 1ed.Santa Maria - RS: , 2016, v. 1, p. 46-56.
FEITOSA, SAMUEL S. ; Bueno, João A. . Simulando o paralelismo quântico em CPU e GPU utilizando a biblioteca LibQuantum - Versão Extendida. In: Dr Giovani Rubert Librelotto, Dra Juliana Kaizer Vizzotto. (Org.). ComInG - Communications and Innovations Gazette: Volume 1, Edição 2. 2ed.: , 2016, v. 1, p. 26-.
da Silva Feitosa, Samuel ; Vizzotto, Juliana Kaizer ; Piveta, Eduardo Kessler ; Du Bois, Andre Rauber . A Monadic Semantics for Quantum Computing in Featherweight Java. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 31-45.
Arruda, O. B. ; Carvalho, A. F. ; Dalla Cort, Fernanda ; Zanatta, Leila ; Korb, Arnildo ; Feitosa, Samuel . Quais são as diferenças entre as vacinas contra Covid-19?. Jornal Lê Notícias.
Carvalho, A. F. ; Arruda, O. B. ; Dalla Cort, Fernanda ; Korb, Arnildo ; Feitosa, Samuel ; Zanatta, Leila . Afinal, você sabe qual é o melhor teste para diagnosticar a COVID-19?. Caderno Rural.
Dalla Cort, Fernanda ; Zanatta, Leila ; Feitosa, Samuel . Por que os cuidados com a COVID-19 devem ser seguidos mesmo após a vacinação?. Jornal Lê Notícias.
SIEBENEICHLER, NATANIEL ; GRANDO, FELIPE ; SALTON, GIANCARLO ; Feitosa, Samuel . Uma DSL para gerar APIs RESTFul em Haskell. In: SBLP 2023: XXVII Brazilian Symposium on Programming Languages, 2023, Campo Grande. Proceedings of the XXVII Brazilian Symposium on Programming Languages. New York: ACM, 2023. v. 1. p. 9.
ZAGO, NATANAEL ; BRAGA, ANDREI ; MELLO, BRAULIO ; Feitosa, Samuel . Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória. In: SBLP 2023: XXVII Brazilian Symposium on Programming Languages, 2023, Campo Grande. Proceedings of the XXVII Brazilian Symposium on Programming Languages. New York: ACM, 2023. v. 1. p. 17.
REGINATO, VIVIAN DA SILVA CELESTINO ; ESPINOZA, JEAN MARCEL DE ALMEIDA ; FEITOSA, SAMUEL DA SILVA ; GARCIA, CRISTIANO MESQUITA ; BACK, GUSTAVO BOURDOT . PANORAMA DA COVID-19 NO ESTADO DE SANTA CATARINA (SC) NO PRIMEIRO ANO DE PANDEMIA. In: II Congresso Brasileiro de Estudos Epidemiológicos Online, 2023, Fortaleza. Anais do II Congresso Brasileiro de Estudos Epidemiológicos On-line, 2023. v. 1.
REGINATO, VIVIAN DA SILVA CELESTINO ; FEITOSA, SAMUEL DA SILVA ; GARCIA, CRISTIANO MESQUITA ; ESPINOZA, JEAN MARCEL DE ALMEIDA ; BACK, GUSTAVO BOURDOT . ANÁLISE DE SINTOMAS E COMORBIDADES DE INFECTADOS PELO COVID-19 NO ESTADO DE SANTA CATARINA NO PRIMEIRO ANO DE PANDEMIA. In: II Congresso Brasileiro de Estudos Epidemiológicos Online, 2023. Anais do II Congresso Brasileiro de Estudos Epidemiológicos On-line, 2023. v. 1.
CONCEIÇÃO, JONATHAS AUGUSTO DE OLIVEIRA ; DU BOIS, ANDRÉ RAUBER ; FEITOSA, SAMUEL DA SILVA ; CAVALHEIRO, GERSON GERALDO HOMRICH ; RIBEIRO, RODRIGO GERALDO . Open transactional actions: interacting with non-transactional resources in STM Haskell. In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, 2022, Ljubljana Slovenia. Proceedings of the 15th ACM SIGPLAN International Haskell Symposium. New York: ACM, 2022. p. 54.
KRAUS, LUIZ FELIPE ; SCHAFASCHEK, BRUNO ; RIBEIRO, RODRIGO GERALDO ; da Silva Feitosa, Samuel . Synthesis of Random Real-World Java Programs from Preexisting Libraries. In: SBLP'21: 25th Brazilian Symposium on Programming Languages, 2021, Joinville Brazil. 25th Brazilian Symposium on Programming Languages. New York: ACM, 2021. p. 108.
Feitosa, Samuel ; RIBEIRO, RODRIGO . An Intrinsically-Typed Solution for the List-Machine Benchmark. In: SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020, Natal Brazil. Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity. New York: ACM, 2020. p. 1.
SASDELLI, FELIPE ; AMARO, MAYCON ; CARDOSO, ELTON ; Feitosa, Samuel ; RIBEIRO, RODRIGO . Syntax vs Semantics. In: SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020, Natal Brazil. Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity. New York: ACM, 2020. p. 9.
MUSSKOPF, BRUNO ; DE SOUZA, FERNANDO ; SCHMIDT, ISABELA ; SILVA, LIVIA ; WOJEICCHOWSKI, NICHOLAS ; ABATTI, NICOLAS ; MUSSKOPF, RENATO ; SCHINAIDER, JAISON ; Garcia, Cristiano ; Feitosa, Samuel . Latinder -Modernizando Adoções de Animais Pets. In: Computer on the Beach, 2020, Balneário Camboriú. Anais do XI Computer on the Beach - COTB '20. Itajaí: Universidade do Vale do Itajaí, 2020. p. 571.
FEITOSA, SAMUEL DA SILVA ; MENA, ALEJANDRO SERRANO ; RIBEIRO, RODRIGO GERALDO ; BOIS, ANDRE RAUBER DU . An Inherently-Typed Formalization for Featherweight Java. In: the XXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXIII Brazilian Symposium on Programming Languages - SBLP 2019. New York: ACM Press, 2019. p. 11.
RIBEIRO, RODRIGO ; REIS, LEONARDO V. S. ; Feitosa, Samuel ; CARDOSO, ELTON M. . Towards Typed Semantics for Parsing Expression Grammars. In: the XXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXIII Brazilian Symposium on Programming Languages - SBLP 2019. New York: ACM Press, 2019. p. 70.
da Silva Feitosa, Samuel ; RIBEIRO, RODRIGO GERALDO ; Du Bois, Andre Rauber . Property-based testing for lambda expressions semantics in featherweight Java. In: the XXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18. New York: ACM Press, 2018. p. 43.
FEITOSA, S. S. ; Agostini, L. B. ; Silveira Neto, J. M. ; DUBOIS, A. R. ; Reiser, R. S. H. . Representing Fuzzy Bi-Implications Through Quantum Computing. In: Workshop-Escola de Informática Teórica, 2017, Santa Maria - RS. WEIT 2017 - IV Workshop-Escola de Informática Teórica, 2017. p. 49-56.
FEITOSA, S. S. ; VIZZOTTO, J. K. ; PIVETA, E. K. ; DUBOIS, A. R. . FJQuantum: Uma Linguagem Quântica Orientada a Objetos. In: Workshop Escola de Informática Teórica, 2015, Porto Alegre - RS. WEIT 2015 - III Workshop-Escola de Informática Teórica. Porto Alegre - RS, 2015.
HARTMANN, A. P. ; Andrei A. S. Braga ; FEITOSA, S. S. . CLUBE DE PROGRAMAÇÃO: RELATO DA EXPERIÊNCIA NO ANO DE 2023. In: 41º Seminário de Extensão Universitária da Região Sul ? SEURS, 2023, Ponta Grossa. ANAIS ? 41º SEMINÁRIO DE EXTENSÃO UNIVERSITÁRIA DA REGIÃO SUL ? SEURS, 2023. v. 1. p. 18.
Dalla Cort, Fernanda ; Gonçalves, Laura ; FEITOSA, S. S. ; Zanatta, Leila . Interdisciplinariedade na Ciência: Relato de Experiência Sobre o Trabalho em Conjunto na Área de Saúde e da Computação. In: I Congresso Sul Brasileiro de Tecnologia e Inovação em Saúde, 2022, Chapecó. Anais do 1º Congresso Sul Brasileiro de Tecnologia e Inovação em Saúde, 2022.
Dalla Cort, Fernanda ; Arruda, O. B. ; Carvalho, A. F. ; FEITOSA, S. S. ; Zanatta, Leila . Tecnologias de Diagnóstico Desenvolvidas para o Enfrentamento da Pandemia de COVID-19: Revisão Narrativa. In: I Congresso Sul Brasileiro de Tecnologia e Inovação em Saúde, 2022, Chapecó. Anais do 1º Congresso Sul Brasileiro de Tecnologia e Inovação em Saúde, 2022.
FELIPE KRAUS, LUIZ ; SCHAFASCHEK, BRUNO ; da Silva Feitosa, Samuel . Desenvolvimento de um Gerador de Programas Aleatórios em Java. In: Computer on the Beach, 2021, Online. Anais do XII Computer on the Beach - COTB '21. São José: Universidade do Vale do Itajaí, 2021. v. 12. p. 485.
DUARTE, J. ; BORGES, E. C. R. ; FEITOSA, S. S. ; Garcia, Cristiano . Desenvolvimento de um Verificador de Fake News Utilizando Aprendizagem de Máquina. In: Segundo Congresso Nacional do Contestado, 2021, Virtual. Anais do Segundo Congresso Nacional do Contestado, 2021.
HASS, W. ; BOHN, J. M. E. ; FEITOSA, S. S. ; Garcia, Cristiano . Identificação de tentativas de invasão a servidores utilizando aprendizagem de máquina. In: Segundo Congresso Nacional do Contestado, 2021, Virtual. Anais do Segundo Congresso Nacional do Contestado, 2021.
Morais, Bryan ; FEITOSA, S. S. ; Garcia, Cristiano ; Zanatta, Leila ; Dalla Cort, Fernanda . Desenvolvimento de um sistema de classificação de risco usando Inteligência Artificial. In: Segundo Congresso Nacional do Contestado, 2021, Virtual. Anais do Segundo Congresso Nacional do Contestado, 2021.
MURARO, A. F. ; Sales Dias da Rosa, Vitor ; Garcia, Cristiano ; FEITOSA, S. S. . Modelos Matemáticos no Combate ao COVID-19. In: Segundo Congresso Nacional do Contestado, 2021, Virtual. Anais do Segundo Congresso Nacional do Contestado, 2021.
SANTOS, J. C. B. ; FEITOSA, S. S. ; Garcia, Cristiano . Desenvolvimento de uma ferramenta para predição de potenciais alunos evasores. In: Segundo Congresso Nacional do Contestado, 2021, Virtual. Anais do Segundo Congresso Nacional do Contestado, 2021.
Bortolini, Vinicius ; Garcia, Cristiano ; FEITOSA, S. S. . Usando aprendizagem de máquina para predição do diagnóstico da COVID-19. In: Segundo Congresso Nacional do Contestado, 2021, Virtual. Anais do Segundo Congresso Nacional do Contestado, 2021.
Cruz, Anthony ; Garcia, Cristiano ; FEITOSA, S. S. . Aplicando Deep Learning em Exames Laboratoriais de Sangue. In: Segundo Congresso Nacional do Contestado, 2021, Virtual. Anais do Segundo Congresso Nacional do Contestado, 2021.
COELHO, B. S. ; KRAUS, L. F. ; FEITOSA, S. S. . Mecanismo de Geração de Programas para Teste de Compiladores. In: Segundo Congresso Nacional do Contestado, 2021, Virtual. Anais do Segundo Congresso Nacional do Contestado, 2021.
Dalla Cort, Fernanda ; Deon, Reges Antonio ; Zanatta, Leila ; Korb, Arnildo ; Feitosa, Samuel . Perfil dos Pacientes Infectados pelo Coronavírus no Estado de Santa Catarina e os Prejuízos do Preenchimento Inadequado das Notificações de COVID-19. In: I Fórum Internacional de Gestão do Trabalho e Educação Permanente em Saúde, 2021, Chapecó. Anais do 1º Fórum Internacional de Gestão do Trabalho e Educação Permanente em Saúde, 2021.
Dalla Cort, Fernanda ; Zanatta, Leila ; Ferraz, Lucimare ; Korb, Arnildo ; Feitosa, Samuel . COVID-19 e Biossegurança para o retorno dos estudantes de enfermagem ao campo prático: vídeo instrutivo. In: 82ª Semana Brasileira de Enfermagem, 2021. O Trabalho em Enfermagem no Contexto de Crise.
Carvalho, A. F. ; Dalla Cort, Fernanda ; Zanatta, Leila ; Korb, Arnildo ; Arruda, O. B. ; Feitosa, Samuel . Sinais e Sintomas Frequentes na COVID-19: uma revisão narrativa. In: 82ª Semana Brasileira de Enfermagem, 2021. O Trabalho em Enfermagem no Contexto de Crise.
Dalla Cort, Fernanda ; Zanatta, Leila ; Ferraz, Lucimare ; Korb, Arnildo ; Feitosa, Samuel . Sindemia do Coronavírus: Determinantes Sociais em Saúde à Luz de Wanda Horta. In: 82ª Semana Brasileira de Enfermagem, 2021. O Trabalho em Enfermagem no Contexto de Crise.
Dalla Cort, Fernanda ; Adamy, Edlamar ; Argenta, Carla ; Zanatta, Leila ; Feitosa, Samuel . Principais Diagnósticos de Enfermagem para a Infecção Viral do Novo Coronavírus: Revisão Narrativa. In: 4º Congresso Sul Brasileiro de Sistematização da Assistência de Enfermagem, 2021. Anais do 4º Congresso Sul Brasileiro de Sistematização da Assistência de Enfermagem.
Dalla Cort, Fernanda ; Korb, Arnildo ; Feitosa, Samuel ; Zanatta, Leila . Diagnóstico Laboratorial da COVID-19 e Novas Perspectivas Utilizando Machine Learning: uma Revisão Narrativa. In: 3° Encontro da Pós-Graduação da UDESC Oeste, 2020, Chapecó. Resumos Expandidos do 10º Seminário de Ensino, Pesquisa e Extensão, 2020.
Dalla Cort, Fernanda ; Korb, Arnildo ; Zanatta, Leila ; Feitosa, Samuel . Diagnóstico Laboratorial da Covid-19 e Novas Perspectivas Utilizando Machine Learning: Uma Revisão Narrativa. In: 30º Seminário de Iniciação Científica, 10º Seminário de Ensino, Pesquisa e Extensão e 3° Encontro da Pós-Graduação da UDESC Oeste, 2020. Resumos Simples e Expandido.
FEITOSA, SAMUEL S. ; RIBEIRO, RODRIGO ; Du Bois, Andre Rauber . Towards a Composable Random Well-Typed Program Generator. In: V Workshop-Escola de Informática Teórica, 2019, Passo Fundo. Workshop-Escola de Informática Teórica, 2019.
FEITOSA, SAMUEL S. ; RIBEIRO, RODRIGO GERALDO ; DUBOIS, A. R. . Formalizing Java 8 Features Using Featherweight Java. In: VIII Workshop de Teses e Dissertações do CBSoft, 2018, São Carlos / SP. Anais do 8º Workshop de Teses e Dissertações do CBSoft, 2018.
FEITOSA, S. S. ; VIZZOTTO, J. K. ; PIVETA, E. K. ; DUBOIS, A. R. . Towards a Quantum Object-Oriented Language Based on Featherweight Java 2015 (WECIQ - Workshop Escola Computação e Informação Quântica).

Outras produções

FACCHI, B.B. ; FEITOSA, S. S. . A Test Suite for the Elixir Compiler. 2024.

FEITOSA, S. S. . A Test Suite for Testing the Haskell Compiler. 2023.

FEITOSA, S. S. . Sistema Automatizado de Classificação de Risco para Unidades de Urgência e Emergência. 2023.

FEITOSA, S. S. . CROSS - Classificação de Risco Online em Sistemas de Saúde. 2022.

Feitosa, Samuel . Gerador de Programas Java Aleatórios. 2021.

Feitosa, Samuel . Interpretador FJQuantum. 2016.

FEITOSA, S. S. . BEANWEB Firewall. 2010.

FEITOSA, S. S. . BEANWEB IMGate. 2010.

FEITOSA, S. S. . BEANWEB WorkControl. 2010.

FEITOSA, S. S. . BEANWEB WebManager. 2009.

FEITOSA, S. S. . Editor Convidado / Elsevier - Jornal of Computer Languages (COLA) / ISSN 2590-1184. 2024.

FEITOSA, S. S. . Membro do comitê de programa do ERAD/RS 2024. 2024.

FEITOSA, S. S. . Editor - Seminário de Ensino, Pesquisa e Extensão (UFFS). 2024.

FEITOSA, S. S. . Membro de comitê avaliador - Jornada de Iniciação Científica UFFS. 2024.

FEITOSA, S. S. . Membro do comitê de programa do ERAD/RS 2023. 2023.

FEITOSA, S. S. . Membro do comitê de programa do XXVII SBLP. 2023.

FEITOSA, S. S. . Chair Geral / Coordenador do XXVII SBLP. 2023.

FEITOSA, S. S. . Revisor de periódico internacional: SoftwareX. 2023.

FEITOSA, S. S. . Membro do comitê de programa do WEIT 2023. 2023.

FEITOSA, S. S. . Editor Convidado / Elsevier - Jornal of Computer Languages (COLA) / ISSN 2590-1184. 2023.

FEITOSA, S. S. . Editor de Área / Anais do XXVII Simpósio Brasileiro de Linguagens de Programação / ISBN: 979-8-4007-1628-7. 2023.

FEITOSA, S. S. . Revisor/avaliador Ad Hoc - Edital Emergências em Saúde Pública - Programa Inova Fiocruz. 2023.

FEITOSA, S. S. . Membro do comitê de programa do ERAD/RS 2022. 2022.

FEITOSA, S. S. . Membro do comitê de programa do XXVI SBLP. 2022.

FEITOSA, S. S. . Membro do comitê de programa do XXVII SBLP. 2021.

FEITOSA, S. S. . Vice-líder do Grupo de Pesquisa em Informática, Lógica e Matemática - IFSC. 2023. (Liderança de Grupo de Pesquisa).

FEITOSA, SAMUEL S. . Vice-líder do Grupo de Pesquisa em Informática, Lógica e Matemática - IFSC. 2022. (Liderança de Grupo de Pesquisa).

FEITOSA, S. S. . Líder do Grupo de Pesquisa em Informática, Lógica e Matemática - IFSC. 2021. (Liderança de Grupo de Pesquisa).

FEITOSA, S. S. . Líder do Grupo de Pesquisa em Informática, Lógica e Matemática - IFSC. 2020. (Liderança de Grupo de Pesquisa).

Projetos de pesquisa

2022 - Atual

Geração de Código para Testes de APIs e Ferramentas de Desenvolvimento de Software, Descrição: Aplicação de técnicas para geração de programas aleatórios afim de executar testes baseados em propriedades para a detecção precoce de erros em ferramentas (compilador, mecanismos de refatoração, máquinas virtuais, etc.) e APIs, de forma a minimizar as possibilidades de execução incorreta de aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Samuel da Silva Feitosa - Coordenador.
2020 - 2022

Geração de Programas Aleatórios para Testes de Ferramentas e APIs de Linguagens de Programação, Descrição: Aplicação de técnicas para geração de programas aleatórios afim de executar testes baseados em propriedades para a detecção precoce de erros em ferramentas (compilador, mecanismos de refatoração, máquinas virtuais, etc.) e APIs de linguagens de programação, de forma a minimizar as possibilidades de execução incorreta de aplicações.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Samuel da Silva Feitosa - Coordenador / Luiz Felipe Kraus - Integrante / Bruno Schafaschek Coelho - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Instituto Federal de Santa Catarina - Auxílio financeiro.
2020 - 2022

Saúde 4.0 - Aplicação de Técnicas de Inteligência Artificial para a Triagem de Pacientes, Descrição: Utilização de técnicas de inteligência artificial como Agentes Inteligentes e Lógica Fuzzy para a classificação de risco automatizada de pacientes, com vistas ao aprimoramento do Sistema Único de Saúde a partir do avanço tecnológico nesta área.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado profissional: (1) . , Integrantes: Samuel da Silva Feitosa - Coordenador / Cristiano Mesquita Garcia - Integrante / Leila Zanatta - Integrante / Fernanda Norbak Dalla Cort - Integrante / Rafael Cendron - Integrante / Bryan Breno Pires de Morais - Integrante / Laura Vivian Gonçalves - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Secretaria de Educação Profissional e Tecnológica - Bolsa.
2020 - 2022

Saúde 4.0 - Aprendizagem de Máquina em Tempos de Pandemia, Descrição: Utilização de técnicas de aprendizagem de máquina para realizar o diagnóstico de COVID-19 a partir de exames de laboratório, além do uso de aprendizagem profunda para a classificação de imagens de exames laboratoriais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) . , Integrantes: Samuel da Silva Feitosa - Coordenador / Cristiano Mesquita Garcia - Integrante / Leila Zanatta - Integrante / Fernanda Norbak Dalla Cort - Integrante / Anthony Cruz - Integrante / Vinicius Bortolini - Integrante / Eduardo Camargo - Integrante / Guilherme Scholl - Integrante., Financiador(es): Secretaria de Educação Profissional e Tecnológica - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios

2022

CONTIS 2022 - Melhor trabalho de relevância científica e acadêmica, CONTIS - I Congresso Sul Brasileiro de Tecnologia e Inovação em Saúde.

2021

Aprovação em Concurso Público para Docente Efetivo na Universidade Federal Fronteira Sul, área Ciência da Computação/Fundamentos da Computação., Universidade Federal Fronteira Sul.

2020

SBLP 2020 Best Paper Award, 24th Brazilian Symposium on Programming Languages.

2018

SBMF 2018 Best Paper Award, XXI Brazilian Symposium on Formal Methods.

2015

WEIT 2015 - Melhores Artigos, Workshop Escola de Informática Teórica.

2015

Aprovação em Concurso Público para Docente Efetivo no Instituto Federal Sul-rio-grandense, área Ciência da Computação/Programação de Computadores., Instituto Federal Sul-rio-grandense.

2015

Aprovação em Concurso Público para Docente Efetivo no Instituto Federal de Santa Catarina, área Ciência da Computação/Informática., Instituto Federal de Santa Catarina.

2014

Aprovação em Concurso Público para Professor Substituto na Universidade Federal de Santa Maria, área Ciência da Computação/Sistemas de Computação/Redes de Computadores., Universidade Federal de Santa Maria.

2009

Sinapse da Inovação, FAPESC.

2009

PRIME - Primeira Empresa Inovadora, FINEP.

Histórico profissional

Endereço profissional

Universidade Federal da Fronteira Sul. , Rodovia SC 484 - Km 02, Área Rural de Chapecó, 89815899 - Chapecó, SC - Brasil, Telefone: (49) 20492600, URL da Homepage:

Experiência profissional

2021 - Atual

Universidade Federal da Fronteira Sul

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

Atividades

01/2022
Pesquisa e desenvolvimento, Universidade Federal da Fronteira Sul.,Linhas de pesquisa

2016 - 2021

Instituto Federal de Santa Catarina

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

Atividades

07/2020
Pesquisa e desenvolvimento, Instituto Federal de Santa Catarina - Campus Caçador.,Linhas de pesquisa
05/2020
Pesquisa e desenvolvimento, Instituto Federal de Santa Catarina - Campus Caçador.,Linhas de pesquisa
03/2021 - 12/2021
Direção e administração, Instituto Federal de Santa Catarina - Campus Caçador.,Cargo ou função, Coordenador de Curso.

2014 - 2015

Universidade Federal de Santa Maria

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

2011 - 2014

Universidade Comunitária da Região de Chapecó

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

2009 - 2012

BeanWeb Soluções

Vínculo: Sócio-Diretor, Enquadramento Funcional: Sócio Diretor, Carga horária: 36

2007 - 2009

SGI Sistemas de Informatização

Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas, Carga horária: 44, Regime: Dedicação exclusiva.

2005 - 2007

Serviço Social da Indústria

Vínculo: Livre, Enquadramento Funcional: Estagiário, Carga horária: 30

2004 - 2005

Prefeitura Municipal de Chapecó

Vínculo: Livre, Enquadramento Funcional: Estagiário, Carga horária: 40

2020 - 2021

Grupo de Pesquisa em Informática, Lógica e Matemática

Vínculo: Líder de Grupo de Pesquisa, Enquadramento Funcional: Líder de Grupo de Pesquisa, Carga horária: 2