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/programador 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. É vice-líder do Grupo de Pesquisa em Informática, Lógica e Matemática do IFSC/CNPq. 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, utilizando testes baseados em propriedades e assistentes de prova interativos, e na área de aprendizagem de máquina aplicada à saúde. Foi professor da Unochapecó, da UFSM e do IFSC. Atualmente é professor da Universidade Federal Fronteira Sul.

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/programador 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. É vice-líder do Grupo de Pesquisa em Informática, Lógica e Matemática do IFSC/CNPq. 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, utilizando testes baseados em propriedades e assistentes de prova interativos, e na área de aprendizagem de máquina aplicada à saúde. Foi professor da Unochapecó, da UFSM e do IFSC. Atualmente é professor na Universidade Federal da Fronteira Sul.