samuel da silva feitosa

ACAD - CH - COORDENAÇÃO ACADÊMICA - CHAPECÓ

Perfil Pessoal

Descrição pessoal

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. Foi professor da Unochapecó, da UFSM e do IFSC. Atualmente é professor na Universidade Federal da Fronteira Sul.

Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)

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.

Áreas de Interesse (áreas de interesse de ensino e pesquisa)

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.

Currículo Lattes:

http://lattes.cnpq.br/1075888485122711

Formação Acadêmica

Formação acadêmica não cadastrada

Contatos

Endereço profissional

Bloco dos Professores

Sala

220

Telefone/Ramal

não informado

Endereço eletrônico

samuel.feitosa@uffs.edu.br