Robson Garcia Formoso

Possui graduação em Ciência da Computação pela Universidade do Vale do Itajaí (2006). Atualmente é Analista Desenvolvedor -Progic. Tem experiência na área de Ciência da Computação, com ênfase em análise de sistemas e desenvolvimento de software, atuando principalmente nos seguintes temas: inteligência artificial, gestão do conhecimento, categorização de informações, web semântica e commonkads. Professor na área de desenvolvimento de sistemas e engenharia de software.

Informações coletadas do Lattes em 23/10/2022

Acadêmico

Formação acadêmica

Mestrado interrompido em 2013 em Engenharia e Gestão do Conhecimento

2011 - interrompida

Universidade Federal de Santa Catarina
Título: Modelo ontológico CESM como artefato para melhorar a qualidade de comunicação interdisciplinar nas organizações,Orientador:
Vinícius Medina Kern.Ano de interrupção: 2013Palavras-chave: CESM; Gestão do Conhecimento; Mario Bunge; Composição-Ambiente-Estrutura-Mecanismo (CESM); CommonKADS; Engenharia do Conhecimento. Grande área: Ciências Exatas e da Terra

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

2000 - 2006

Universidade do Vale do Itajaí
Título: FERRAMENTA VIA WEB PARA APOIO A ANÁLISE DE RISCO EM UM PROJETO
Orientador: Alecir Pedro da Cunha

Graduação interrompida em 2000 em Matemática Licenciatura

1997 - interrompida

Universidade Federal de Santa Catarina
Ano de interrupção: 2000

Formação complementar

2009 - 2009

Design Pattern. (Carga horária: 16h). , Instituto de Estudos Avançados, IEA, Brasil.

2009 - 2009

Modelagem de Sistemas. (Carga horária: 80h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2009 - 2009

WA Consulting com o uso do Serviço Google Analytic. (Carga horária: 16h). , WA Consulting, WA, Brasil.

2008 - 2008

Raciocínio Baseado em Casos. (Carga horária: 80h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2004 - 2004

Qualificação - Open Calc. (Carga horária: 20h). , SENAI - Centro de Tecnologia em Automação e Informática, SENAI, Brasil.

2004 - 2004

Administração de Sistemas FreeBSD - Serviços ISP. (Carga horária: 40h). , SamaBSD, SAMABSD, Brasil.

2003 - 2003

Qualificação - Open Writer. (Carga horária: 20h). , SENAI - Centro de Tecnologia em Automação e Informática, SENAI, Brasil.

2001 - 2001

FreeBSD Básico. (Carga horária: 16h). , Opifex, OPIFEX, Brasil.

2000 - 2000

Linux 1. (Carga horária: 20h). , Conectiva Linux, CONECTIVA, Brasil.

1998 - 1998

Iniciando seu Próprio Negócio - IPN. (Carga horária: 60h). , Fundação do Ensino da Engenharia em Santa Catarina, FEESC, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma 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: Inteligência Artificial.

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.

Participação em eventos

Pequenas empresas, melhoria de processo e gerência de projetos: qual o desafio?. 2010. (Encontro).

Seminário Sobre Padrões de Interoperabilidade Semântica e Ontologias para Integração dos Sistemas Legislativos da América Latina. 2009. (Seminário).

KM Brasil. 2008. (Congresso).

KM Brasil. Aplicação de Inteligência Artificial na Categorização de Informações. 2008. (Congresso).

Produções bibliográficas

  • BEM, R. M. ; FORMOSO, R. G. . A biblioteca moderna e o uso intensivo em tecnologias. In: Hamilcar Boing. (Org.). Cadernos de pesquisa em inovação: as novas tecnologias e as tendências em inovação. 1ed.Florianópolis: PPGEGC/UFSC, 2013, v. 1, p. 293-321.

  • FORMOSO, R. G. . Uma introdução a sistemas sociotecnológicos nas TICs. In: Hamilcar Boing. (Org.). Cadernos de Pesquisa em Inovação - As novas tecnologias e as tendências em Inovação.. 1ed.Florianópolis: PPEGC/UFSC, 2013, v. 1, p. 403-419.

  • GALDO, A. M. R. ; KERN, V. M. ; FORMOSO, R. G. ; VARVAKIS, G. . Gestão do conhecimento interorganizacional para a sustentabilidade por meio do terceiro setor. In: KM Brasil, 2010, Gramado - RS. KM Brasil 2010 - 9º Congresso Brasileiro de Gestão do Conhecimento, 2010.

  • FORMOSO, R. G. ; PINTO, M. C. C. . Aplicação de inteligência artificial na categorização de informações. In: KM Brasil, 2008, São Paulo. KM Brasil, 2008.

  • SILVA M. S. ; FORMOSO, R. G. ; KERN, V. M. . Repositório institucional como sistema técnico-social: composição, ambiente e estrutura. In: Encontro Nacional de Pesquisa em Ciência da Informação (ENANCIB). In: Anais do Encontro Nacional de Pesquisa em Ciência da Informação (ENANCIB), 2013, Florianópolis. Anais do Encontro Nacional de Pesquisa em Ciência da Informação (ENANCIB), 2013.

  • FORMOSO, R. G. . Introdução à Inteligência Artificial e Web Semântica. 2009. (Apresentação de Trabalho/Conferência ou palestra).

  • FORMOSO, R. G. ; PINTO, M. C. C. . APLICAÇÃO DE INTELIGÊNCIA ARTIFICIAL EM CATEGORIZAÇÃO DE INFORMAÇÕES. 2008. (Apresentação de Trabalho/Congresso).

  • FORMOSO, R. G. ; PINTO, M. C. C. ; Paula Carina Araújo . APLICAÇÃO DE INTELIGÊNCIA ARTIFICIAL EM CATEGORIZAÇÃO DE INFORMAÇÕES. 2008. (Apresentação de Trabalho/Conferência ou palestra).

  • KERN, V. M. ; FORMOSO, R. G. . ModSis 2010: Caderno de anais da disciplina Modelagem de Sistemas.. Florianópolis: UFSC/EGC, 2010 (Artigo).

  • FORMOSO, R. G. ; KINCELER, L. M. ; MUHLMANN, L. . Perspectivas de Mercado Agrícola 2009 (Artigo).

Projetos de pesquisa

  • 2013 - Atual

    Sistema de revisão por pares: Composição, ambiente, estrutura e mecanismos a partir do Nature?s Peer Review Debate, Descrição: Descrição: Processo CNPq/Edital Universal 487120/2013-2. RESUMO: A revisão por pares é sub-investigada e é duramente criticada como método de avaliação, apesar de seu status de principal mecanismo de controle de qualidade da ciência. A revista Nature promoveu o Nature's Peer Review Debate, uma iniciativa ampla de discussão dos problemas da revisão por pares. Este projeto de pesquisa trata de descrever a revisão por pares como sistema, usando como fonte de informação o Nature's Peer Review Debate. A abordagem metodológica usa o modelo de sistema CESM de Bunge e suas regras gerais da pesquisa sistemista. Os procedimentos incluem (i) a marcação no texto-fonte dos elementos candidatos à composição, ambiente e estrutura da revisão por pares, (ii) a síntese de componentes, itens do ambiente e ligações do sistema e (iii) a formulação de hipóteses de mecanismos de funcionamento passíveis de verificação empírica. O principal resultado é um modelo de sistema CESM da revisão por pares. Esse modelo presta-se a embasar a investigação dos mecanismos de funcionamento do sistema de revisão por pares desde uma perspectiva abrangente, sistêmica.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Robson Garcia Formoso - Integrante / Vinícius Medina Kern - Coordenador / Luciana Mara Silva - Integrante / Elisabete Werlang - Integrante / Guilherme Goulart Righetto - Integrante.

Histórico profissional

Endereço profissional

  • Automatos, Automatos. , Rua Marechal Guilherme, Centro, 88015-000 - Florianopolis, SC - Brasil, URL da Homepage:

Experiência profissional

2013 - Atual

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: , Enquadramento Funcional:

2013 - Atual

Universidade Federal de Santa Catarina

Vínculo: , Enquadramento Funcional:

2010 - Atual

Automatos

Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas Pleno, Carga horária: 40

2009 - 2010

Portal Unimed

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

Outras informações:
Metodologia de desenvolvimento e análise. Desenvolvimento de novas tecnologias.

2007 - 2009

Instituto de Estudos Avançados

Vínculo: Colaborador, Enquadramento Funcional: Analaista de sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Metodologia de desenvolvimento e análise Scrum e tecnologia de desenvolvimento Java

2005 - 2007

Fundação do Ensino da Engenharia em Santa Catarina

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

Outras informações:
Desenvolvimento do Sistema Tributário da Prefeitura de Belo Horizonte. Tecnologia de desenvolvimento utilizada foi Java.

1998 - 2004

Intelbras S/A

Vínculo: Colaborador, Enquadramento Funcional: Assistente de Suporte Técnico Pleno, Carga horária: 40

Outras informações:
Suporte a servidores FreeBSD e Linux

1998 - 1998

Banco do Brasil S/A

Vínculo: Estagiário, Enquadramento Funcional: Estudante do curso de Processamento de Dados, Carga horária: 20

2014 - Atual

PROGIC Tecnologia Eletrônica

Vínculo: CLT, Enquadramento Funcional: Analista Desenvolvedor, Carga horária: 40

2012 - 2014

SENAI - Departamento Regional de Santa Catarina

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