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
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: 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, CNPqVínculo: , Enquadramento Funcional:
2010 - Atual
AutomatosVínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas Pleno, Carga horária: 40
2009 - 2010
Portal UnimedVí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çadosVí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 CatarinaVí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/AVí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/AVínculo: Estagiário, Enquadramento Funcional: Estudante do curso de Processamento de Dados, Carga horária: 20
2014 - Atual
PROGIC Tecnologia EletrônicaVínculo: CLT, Enquadramento Funcional: Analista Desenvolvedor, Carga horária: 40
2012 - 2014
SENAI - Departamento Regional de Santa CatarinaVínculo: Professor horista, Enquadramento Funcional: Professor, Carga horária: 10
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Robson Garcia Formoso e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?