Daniel Formolo
- Especialista em consultoria tecnológica- Doutor em Inteligência Artificial pela Vrije Universiteit Amsterdam(2019);- Mestre em computação aplicada pela Universidade do Vale do Rio dos Sinos (2009); - Bacharel em Ciência da Computação pela Universidade do Vale do Rio dos Sinos (2006); - Técnico em automação industrial pelo Centro Tecnológico de Mecatrônica SENAI (1999); - Pesquisador associado do Programa de Pós-graduação em Computação Aplicada - Unisinos; - Pesquisador do Grupo de Inteligência Artificial - Unisinos; - CTO e Sócio da empresa Viqal B.V. - Consultor Científico e Técnico da empresa TechNurse LTDAExperiência de mais de 20 anos em desenvolvimento de software embarcado, experiência como lider técnico em projetos; - Interesse nas áreas de Inteligência Artificial, Agentes Inteligentes, Sistemas Dinâmicos, Modelagem Computacional de Sociedades e Indivíduos, Algoritmos Inspirados na Natureza, Data Mining aplicado a natureza e comportamentos sociais, Computação Aplicada e IoT.
Informações coletadas do Lattes em 24/08/2025
Acadêmico
Formação acadêmica
Doutorado em Artificial Intelligence PhD
2015 - 2019
Vrije Universiteit
Título: Ambiente de Treinamento para Situações de Tensão usando Simulação com Agentes Virtuais Agressivos
Orientador: Jan Treur
Coorientador: Tibor Bosse. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra
Mestrado em Computação Aplicada
2007 - 2009
Universidade do Vale do Rio dos Sinos
Título: Criptografia Caótica / Chaotic Cryptography, Ano de Obtenção: 2009
Luiz Paulo Luna de Oliveira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: algoritmo; criptografia; caos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática; Outros Setores.
Graduação em Bacharelado em Ciência da Computação
2001 - 2006
Universidade do Vale do Rio dos Sinos
Título: Criptografia Simétrica com Mapas Caóticos/Cryptography with Chaos
Orientador: Luiz Paulo Luna de Oliveira
Curso técnico/profissionalizante em Automação Industrial
1998 - 1999
Formação complementar
2015 - 2015
Foundations of Data Science: Data and Process Mining. (Carga horária: 16h). , Netherlands Research School for Information and Knowledge Systems, SIKS, Holanda.
2015 - 2015
Autumn School on Humans and Technology. (Carga horária: 20h). , Netherlands Research School for Information and Knowledge Systems, SIKS, Holanda.
2013 - 2013
Linux embarcado com o i.MX53. (Carga horária: 16h). , Embedded Labworks, ELABW, Brasil.
2013 - 2013
Programming in C# Microsoft Official Course M10266. (Carga horária: 40h). , Sisnema, SIS, Brasil.
2010 - 2010
Fundamentos de Analista de Negócios. (Carga horária: 32h). , Sisnema, SIS, Brasil.
2010 - 2010
Análise de Sistemas com UML. (Carga horária: 16h). , TargetTrust Treinamentos e Tecnologia, TT, Brasil.
2009 - 2009
Extensão universitária em Gerenciamento de Projetos com Scrum. (Carga horária: 16h). , Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
2009 - 2009
Extensão universitária em Técnicas Eficazes de Comunicação Verbal. (Carga horária: 12h). , Universidade do Vale do Rio dos Sinos, UNISINOS, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Lê Pouco.
Italiano
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Artificial Inteligence.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computer Science.
Grande área: Ciências Sociais Aplicadas / Área: Economia / Subárea: Stock Market.
Grande área: Ciências Sociais Aplicadas / Área: Economia / Subárea: Software Engeneering.
Grande área: Ciências Sociais Aplicadas / Área: Economia / Subárea: Analytical Models and of Simulation.
Grande área: Ciências Sociais Aplicadas / Área: Economia / Subárea: criptografia e segurança da informação.
Organização de eventos
Ávila, R. ; LEMES, L. F. ; FORMOLO, D. ; IGNACZAK, L. . Capture The Flag - Unisinos. 2014. (Outro).
Participação em eventos
Behavioural Informatics Symposium. 2016. (Simpósio).
Conference Guide to the Network Society. 2016. (Outra).
International Conference on Biologically Inspired Cognitive Architectures - BICA. Adaptive Modelling of Trauma: Development and Recovery of Patients. 2016. (Congresso).
Virtual Agents for Social Skills Training - VASST.A Conversational Agent that Reacts to Vocal Signals. 2016. (Simpósio).
3TU SIKSS-PhD Autumn School on Humans&Technology. 2015. (Simpósio).
9-th International Conference on Complex, Intelligent, and Software Intensive Systems. Data Mining to Identify Fraud Suspected on Electronic Elections. 2015. (Congresso).
IETF 93.N/A. 2015. (Encontro).
1º Encontro de Computação Móvel e Ubíqua Aplicada a Negócios. 2014. (Encontro).
UNIINFO 2014.Sistema de detecção de fraudes em votações eletrônicas. 2013. (Outra).
InterBEE. 2012. (Outra).
InterBEE. 2012. (Outra).
NabShow. 2012. (Outra).
SET Congresso. Um modelo computacional baseado em metaheurísticas aplicado a Transmissão Internet Protocol Television (IPTV). 2012. (Congresso).
SET Congresso. Uma Arquitetura Baseada em Agentes, Ontologias e Metaheurísticas Aplicada ao Servidor Multimídia do SBTVD. 2012. (Congresso).
SET Congresso. 2011. (Congresso).
Conferência Brasileira sobre Métodos Ágeis de Desenvolvimento de Software. 2010. (Congresso).
Participação em bancas
FORMOLO, D.. METALMOB ? Proposta de uma Aplicação Móvel para Gestão de Vendas Utilizando Utilizando a Plataforma Windows Phone. 2013. Monografia (Aperfeiçoamento/Especialização em Desenvolvimento de Aplicações para Dispositivos Mó) - Universidade do Vale do Rio dos Sinos.
MARTINS, M. G.; CASSOL, V. J.;FORMOLO, D.. MDF um framework para suporte de rede a um jogo do gênero Endless Runner multijogador para iOS. 2015. Trabalho de Conclusão de Curso (Graduação em Jogos Digitais) - Universidade do Vale do Rio dos Sinos.
Oliveira, L.P.;FORMOLO, D.. Criptografia Quântica: Estado da arte e perspectivas. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade do Vale do Rio dos Sinos.
Ávila, R.; MARTINS, M. G.;FORMOLO, D.. Avaliação de desempenho de transmissão de multimídia sobre G.SHDSL.BIS EFM em comparação a outras tecnologias. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Vale do Rio dos Sinos.
MULLER, G. I.; SCHILLING, L. F.;FORMOLO, D.. Um Protótipo de Força de Vendas para Tablet. 2013. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Universidade do Vale do Rio dos Sinos.
FORMOLO, D.. Revisor de artigos:I4CT`2016. 2016. IEEE.
FORMOLO, D.. Revisor de artigos: ICOCOE'2016. 2016. ICOCOE.
FORMOLO, D.. Revisor de artigos: ROBIONETICS 2016. 2016. Robionetics.org.
FORMOLO, D.. Revisor de artigos: ICOED'16. 2016. ICOED.
BOSSE, T.;FORMOLO, D.. Revisor de artigos: ALIA 2016. 2016. ALIA.
TREUR, J.;FORMOLO, D.. Revisor de artigos: WI2016. 2016. Web Intelligence.
BOSSE, T.;FORMOLO, D.. Revisor de artigos: IVA2016. 2016. International Conference on Intelligent Virtual Agents.
FORMOLO, D.. Revisor de artigos: I4CT'2015. 2015. Institute Of Electrical And Electronics Engineers, Inc..
FORMOLO, D.. Revisor de artigos: APMediaCast 2015. 2015. Institute Of Electrical And Electronics Engineers, Inc..
FORMOLO, D.. Revisor de artigos: ICOCOE'2015. 2015. University Teknologi Malasiya.
FORMOLO, D.. Revisor de artigos: ROBIONETICS 2015. 2015. Robionetics.org.
FORMOLO, D.. Revisor de artigos: ICOED 2015. 2015. ICOED.
FORMOLO, D.. Revisor de artigos: PIAMSE'2015. 2015. Progress in Applied Mathematics in Science and Engineering.
FORMOLO, D.. Revisor de artigos: ICCME-2015. 2015. ICCME.
FORMOLO, D.. Revisor de artigos: iCATccT 2015. 2015. Bapuji Institute Of Engineering & Technology.
FORMOLO, D.. Revisor de artigos: CNMAC. 2014. Universidade do Vale do Rio dos Sinos.
FORMOLO, D.. Revisor de artigos: IAICT. 2014. Universidade do Vale do Rio dos Sinos.
FORMOLO, D.. Revisor de artigos: ROBIONETICS 2014. 2014. Universidade do Vale do Rio dos Sinos.
FORMOLO, D.. Revisor de artigos: ICAIS. 2014. Universidade do Vale do Rio dos Sinos.
FORMOLO, D.. Revisor de artigos: I4CT'2014. 2014. IEEE.
FORMOLO, D.. Revisor de artigos: ICAIS. 2013. Sri Jayachamarajendra College of Engineering.
FORMOLO, D.. Revisor de artigos: ICCSII. 2013. Institut Teknologi Bandung.
FORMOLO, D.. Revisor de artigos: ICA. 2013. instrumentation control and automation specialist group.
FORMOLO, D.. Revisor de artigos: IEEE SCOReD. 2012. Universiti Teknologi MARA.
FORMOLO, D.. Revisor de artigos: ICCSII. 2012. Institut Teknologi Bandung.
Orientou
Abordagens de interação em linguagem natural como apoio na saúde [Provisório]; Início: 2023; Tese (Doutorado em Programa de Pós Graduação em Computação Aplicada) - Universidade do Vale do Rio dos Sinos; (Coorientador);
OFERTA JUSTA: REDE COLABORATIVA DE OFERTAS; 2015; Monografia; (Aperfeiçoamento/Especialização em Desenvolvimento de Aplicações para Dispositivos Mó) - Universidade do Vale do Rio dos Sinos; Orientador: Daniel Formolo;
UTILIZAÇÃO DE SMARTPHONE COM NFC PARA AQUISIÇÃO DE INGRESSO E ACESSO A EVENTOS; 2014; Monografia; (Aperfeiçoamento/Especialização em Desenvolvimento de Aplicações para Dispositivos Mó) - Universidade do Vale do Rio dos Sinos; Orientador: Daniel Formolo;
SISTEMA COLABORATIVO PARA ORIENTAÇÃO DE AGENTES DE TRÂNSITO; 2013; Monografia; (Aperfeiçoamento/Especialização em Desenvolvimento de Aplicações para Dispositivos Mó) - Universidade do Vale do Rio dos Sinos; Orientador: Daniel Formolo;
GEOLOCALIZAÇÃO NO ANDROID: APLICANDO AO SISTEMA SALESFORCE; 2013; Monografia; (Aperfeiçoamento/Especialização em Desenvolvimento de Aplicações para Dispositivos Mó) - Universidade do Vale do Rio dos Sinos; Orientador: Daniel Formolo;
Using chat bots for social skill training of security guard employees; 2018; Trabalho de Conclusão de Curso; (Graduação em Artificial Intelligence) - Vrije Universiteit Amsterdam; Orientador: Daniel Formolo;
Interpersonal Stances Inference Using Facial Expressions; 2018; Trabalho de Conclusão de Curso; (Graduação em Artificial Intelligence) - Vrije Universiteit; Orientador: Daniel Formolo;
UM NOVO ALGORITMO DE CRIPTOANÁLISE BASEADO EM TABELAS HASH COM TRADE-OFF NÃO PROBABILÍSTICO; 2015; Trabalho de Conclusão de Curso; (Graduação em Segurança da Informação) - Universidade do Vale do Rio dos Sinos; Orientador: Daniel Formolo;
UM SISTEMA DE DETECÇÃO DE FRAUDES EM VOTAÇÕES ELETRÔNICAS; 2014; Trabalho de Conclusão de Curso; (Graduação em Segurança da Informação) - Universidade do Vale do Rio dos Sinos; Orientador: Daniel Formolo;
Produções bibliográficas
-
van der Wal, C. Natalie ; FORMOLO, DANIEL ; ROBINSON, MARK A. ; GWYNNE, STEVEN . Examining Evacuee Response to Emergency Communications with Agent-Based Simulations. Sustainability , v. 13, p. 4623, 2021.
-
FORMOLO, DANIEL ; Bosse, Tibor . Learning interpersonal stance in voice. Array , v. 1, p. 100032, 2020.
-
FORMOLO, DANIEL ; VAN MENTS, LAILA ; TREUR, JAN . A computational model to simulate development and recovery of traumatised patients. Biologically Inspired Cognitive Architectures , v. 21, p. 26-36, 2017.
-
FORMOLO, D. ; BOSSE, T. . Towards Interactive Agents that Infer Emotions from Voice and Context Information. EAI Endorsed Transactions on Creative Technologies , v. 4, p. 153054, 2017.
-
FORMOLO, DANIEL ; VAN MENTS, LAILA ; TREUR, JAN . Adaptive Modelling of Trauma: Development and Recovery of Patients. PROCEDIA COMPUTER SCIENCE , v. 88, p. 512-521, 2016.
-
TOMASZEWSKI, J. R. ; FORMOLO, D. . NFC Aplicado a Sistemas de Controle de Entrada em Eventos. CADERNOS DO IME. SÉRIE INFORMÁTICA , v. 37, p. 6-21, 2016.
-
FORMOLO, D. ; DE OLIVEIRA, LUIZ P. L. ; SOBOTTKA, MARCELO . A COMPETITIVE SEARCHING-BASED CHAOTIC CIPHER. International Journal of Modern Physics C , v. 21, p. 1377-1390, 2010.
-
FORMOLO, D. . Algoritmos e Pensamento Sistemático - uma nova abordagem através da linguagem C. 1. ed. Rio de Janeiro: Ciência Moderna, 2020. v. 1. 128p .
-
van der Lubbe, Laura M. ; Gerritsen, Charlotte ; FORMOLO, DANIEL ; Otte, Marco ; Bosse, Tibor . A Serious Game for Training Verbal Resilience to Doorstep Scams. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. , p. 110-120.
-
Bosman, Kim ; Bosse, Tibor ; FORMOLO, DANIEL . Virtual Agents for Professional Social Skills Training: An Overview of the State-of-the-Art. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. 1ed.: Springer International Publishing, 2019, v. , p. 75-84.
-
de Bever, Stein ; FORMOLO, DANIEL ; Wang, Shuai ; Bosse, Tibor . A Multimodal Chatbot System for Enhancing Social Skills Training for Security Guards. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. , p. 499-513.
-
FORMOLO, DANIEL ; Bosse, Tibor ; van der Wal, Natalie . Studying the Impact of Trained Staff on Evacuation Scenarios by Agent-Based Simulation. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 2, p. 85-96.
-
FORMOLO, DANIEL ; van der Wal, C. Natalie . An Adaptive Simulation Tool for Evacuation Scenarios. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 766-777.
-
FORMOLO, DANIEL ; Bosse, Tibor . Human vs. Computer Performance in Voice-Based Recognition of Interpersonal Stance. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. 10271, p. 672-686.
-
van der Wal, C. Natalie ; FORMOLO, DANIEL ; Bosse, Tibor . An Agent-Based Evacuation Model with Social Contagion Mechanisms and Cultural Factors. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. 10350, p. 620-627.
-
FORMOLO, DANIEL ; van der Wal, C. Natalie . Simulating Collective Evacuations with Social Elements. In: Nguyen N.; Papadopoulos G.; Jędrzejowicz P.; Trawiński B., Vossen G.. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. 10448, p. 160-171.
-
FORMOLO, DANIEL ; Bosse, Tibor . A Conversational Agent that Reacts to Vocal Signals. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. 1ed.: Springer International Publishing, 2017, v. 178, p. 285-291.
-
FORMOLO, D. . O possível futuro dos aplicativos mobile. Baguete - Tecnologia e Informação, Internet - revista digital, p. 1 - 1, 15 mar. 2016.
-
FORMOLO, DANIEL ; Bosse, Tibor . Extracting Interpersonal Stance from Vocal Signals. In: the 4th International Workshop, 2018, Boulder. Proceedings of the 4th International Workshop on Multimodal Analyses Enabling Artificial Agents in Human-Machine Interaction - MA3HMI'18. New York: ACM Press, 2018. p. 19.
-
SCHARDONG, F. ; FORMOLO, DANIEL . A Non-Probabilistic Time-Storage Trade-off for Unsalted Hashes. In: XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2016, Niteroi. Anais do XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2016. v. 16. p. 198-211.
-
POLONI, YURI TADEU ; FORMOLO, DANIEL . Data Mining to Identify Fraud Suspected on Electronic Elections. In: 2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS), 2015, Santa Catarina. 2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems. p. 19-23.
-
FORMOLO, D. ; GOMEZ, A. T. ; NESI, L. C. ; MARTINS, M. G. ; CHIWIACOWSKY, L. D. . Otimização da Transmissão de Conteúdo em Sistemas Multimídia. In: SBPO, 2014, Salvador/Ba.. Pôsteres, 2014.
-
FORMOLO, D. . Startup Mindset. 2024. (Apresentação de Trabalho/Conferência ou palestra).
-
FORMOLO, D. . Startup - lessons learnt. 2024. (Apresentação de Trabalho/Conferência ou palestra).
-
FORMOLO, D. . Computação Afetiva Aplicada das Engenharias E.T.I.. 2022. (Apresentação de Trabalho/Conferência ou palestra).
-
WEISSHEIMER JUNIOR, C. A. ; GOMEZ, A. T. ; FORMOLO, D. . Um Modelo Computational Baseado Em Metaheurísticas Aplicado A Transmissão Internet Protocolo Television (IPTV). 2012. (Apresentação de Trabalho/Congresso).
-
WICKERT, T. I. ; GOMEZ, A. T. ; FORMOLO, D. . Uma Arquitetura Baseada em Agentes, Ontologias e Metaheurísticas Aplicada ao Servidor Multimídia do SBTVD. 2012. (Apresentação de Trabalho/Congresso).
Outras produções
BOSSE, T. ; KLEIN, M.C.A. ; FORMOLO, D. ; MEDEIROS, L. N. . Multi Agent Systems. 2016. (Curso de curta duração ministrado/Outra).
FORMOLO, D. . Introduction to Windows Phone Platform. 2015. (Desenvolvimento de material didático ou instrucional - Video e Texto).
FORMOLO, D. . Introduction to CSharp Language. 2015. (Desenvolvimento de material didático ou instrucional - Video e Texto).
FORMOLO, D. . Minicurso de desenvolvimento de aplicações em C#. 2014. (Curso de curta duração ministrado/Outra).
FORMOLO, D. . Minicurso de desenvolvimento de aplicações em C#. 2013. (Curso de curta duração ministrado/Outra).
FORMOLO, D. . Introdução a Plataforma Windows Phone. 2013. (Desenvolvimento de material didático ou instrucional - Video e Texto).
FORMOLO, D. . Ferramentas da plataforma Windows Phone. 2013. (Desenvolvimento de material didático ou instrucional - Video e Texto).
Projetos de pesquisa
-
2025 - Atual
CONSTRUÇÃO E VALIDAÇÃO DE UM SISTEMA PARA MONITORAMENTO CONTÍNUO DE PRESSÃO ARTERIAL INCORPORADO EM TECNOLOGIA WEARABLE (DISPOSITIVO VESTÍVEL), Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Daniel Formolo - Coordenador / janaina avancini pinheiro - Integrante / Ayame Gamarra Rodrigues da Rosa - Integrante / Rodrigo Marque de Figueiredo - Integrante / Sandro Rigo - Integrante.
-
2022 - Atual
Perspectivas de uso integrado de dados não estruturados e de dados gerados por sensores vestíveis no apoio de atividades de diagnóstico e de telemonitoramento na área da saúde, Descrição: O principal objetivo deste projeto é ativar as perspectivas da integração e processamento de dados não estruturados originados em sistemas médicos e de dados psicofisiológicos gerados por sensores vestíveis. Desta forma será possível o desenvolvimento e avaliação de uma plataforma que permita a integração e processamento de diferentes fontes de informações sobre a saúde de pacientes, cujos resultados serão aplicados como apoio em atividades de diagnóstico em saúde, biofeedback e telemonitoramento. Para tal integração serão estudadas e desenvolvidas técnicas de aprendizagem profunda (deep learning), Processamento de Linguagem Natural e Internet das Coisas em um contexto voltado para demandas na área da saúde.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Daniel Formolo - Integrante / Silvio Cazella - Integrante / Sandro Jose Rigo - Coordenador / Cristiano Costa - Integrante / Jorge L. V. Barbosa - Integrante / Denis Andrei Araujo - Integrante / Paulo Quaresma - Integrante / Elisa Kern Castro - Integrante / Nicolas Rohleder - Integrante / Priscila Lora - Integrante / Marcos Schwertner - Integrante / janaina avancini pinheiro - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Cientifico e Tecnologico - CNPq - Outra.
-
2016 - 2019
Using virtual agents for simulation and training of social skills in safety-critical circumstances, Descrição: Events in which human safety is at stake, such as evacuations or riots, are sensitive situations. In such safety-critical circumstances, each decision can be crucial for a favourable outcome of the situation. Moreover, people have a direct influence on others around. Staff members such as police officers or ambulance personnel, play an important role. They are a reference to others. Everything they do may impact others. Therefore, it is crucial that they behave effectively in managing situations and people. Constant training of the communicative capacities of staff members enables them to minimise negative impact in safety-critical circumstances. Still, in many situations training is costly, not uniform in terms of quality and not scalable. These restrictions limit the staff members preparation for unusual situations. The aim of this thesis is to study the impact of staff in safety-critical circumstances and explore how intelligent agent technology can be used to train staff by enhancing their interpersonal skills and consequently, improving their abilities in managing people and undesirable events. The first part of this thesis introduces the problem, explains the research aim and research method used. Part two covers the use of agent-based simulation to investigate the interpersonal dynamics in evacuations. It focuses on the influence of social and emotional aspects on the dynamics among people and the impact of the staff in this context. Part three explores the potential and limitations of artificial intelligence techniques to infer emotions and interpersonal stances in order to be applied in training systems to enhance interpersonal skills of people, in particular for training staff. Part four gives an overview of applications developed for training of professional social skills. This part presents a number of practical training applications for different domains which were developed using the tools and algorithms put forward in part three. Part five discusses the advantages and limitations of using agent technology to simulate and train the social skills of staff members in safety-critical circumstances. It finishes with a description of the main contributions of this thesis and future work. Overall, the work is situated in the intersection of agent-based simulation, artificial intelligence methods to recognize human emotions, and simulation-based training systems applied to developing peoples social skills. It provides innovations for modelling crowd behaviour and presents practical applications of simulation-based training systems for teaching social skills.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Daniel Formolo - Integrante / TREUR, JAN - Coordenador / Bosse, Tibor - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 13
-
2008 - 2012
Plataforma de Comunicação Óptica para Acesso Multiserviço, Descrição: Projeto de P&D para desenvolver uma plataforma de acesso ótico GPON com switch integrado ótico e módulos de acesso de alta velocidade EFM sobre SHDSL e VDSL2 complementares, consistindo assim num produto de inovação na área de sistemas de comunicações óticas. A plataforma deverá ser constituída de um sub-bastidor modular e de CPEs, permitindo o uso integrado de Switch ótico, GPON e EFM em uma única plataforma. O projeto de P&D contempla três fases: (1) estrutura de sub-bastidor, módulo switch ótico, módulo de gerência e módulo ethernet; (2) módulo OLT/GPON para o sub-bastidor e CPEs ONU e ONT; e (3) módulos/CPEs EFM nas tecnologias VDSL2 e SHDSH.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Daniel Formolo - Coordenador / Alexandre Benevides - Integrante / Alessandra Carla Ceolin - Integrante / Anellena Andrade dos Santos - Integrante / Carlos Ruhrwiem - Integrante / César Augusto Peteffi Filho - Integrante / Fabiane Greice G. Bueno Ayres - Integrante / Giancarlo Machado - Integrante / João Dullius - Integrante / Jonatan Goebel - Integrante / Luca Saldanha - Integrante / Luis Carlos Mieres Caruso - Integrante / Mikael de Souza Fernandes - Integrante / Rodrigo Barcelos - Integrante / Rodrigo Belagamba de Moraes - Integrante / Vitor Moscon da Rosa - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Outra.
Projetos de desenvolvimento
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Outra / FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Outra / FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Outra / FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Outra / FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro / Financiadora de Estudos e Projetos - Outra.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Outra / FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Outra / FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
-
2010 - Atual
TV-Digital, Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Outra / FUNDO NACIONAL DE TELECOMUNICAÇÕES - Auxílio financeiro.
-
2007 - 2008
TV-Digital, Descrição: Pesquisa e desenvovimento de equipamentos para atender ao padrão de TV Digital Brasileiro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Daniel Formolo - Coordenador.
Prêmios
2018
BEST POSTER - Studying the Impact of Trained Staff on Evacuation Scenarios by Agent-Based Simulation, SOCINFO.
2018
BEST APPLICATION AWARD - A Serious Game for Training Verbal Resilience to Doorstep Scams, BNAIC.
2017
BEST REGULAR PAPER - DOI https://doi.org/10.1007/978-3-319-67074-4_16, Conference on Computational Collective Intelligence Technologies and Applications.
Histórico profissional
Experiência profissional
2012 - 2015
DotDigital LTDA ME, DotDigitalVínculo: Colaborator, Enquadramento Funcional: Proprietario, Carga horária: 10
2008 - 2015
Associação Sul-riograndense de Apoio ao Desenvolvimento de Software ? SoftsVínculo: Pesquisador Visitante, Enquadramento Funcional: Pesquisa e Desenvolvimento de Projetos, Carga horária: 40
Outras informações:
Desenvolvimento de software embarcadoEspecificação e consultoria técnica de projetosLider técnicoLinhas de pesquisa: Redes ópticas e Comunicação / transmissão óptica Automação industrial. Software embarcadoDetalhamento:- Líder técnico de equipe de software, distribuindo, acompanhando e direcionando tarefas técnicas.- Scrum Master.- Definição de interfaces de configuração de equipamentos óticos.- Definição de arquitetura de software embarcado.- Desenvolvimento software embarcado para equipamentos de telecomunicação.- Plataforma de desenvolvimento: Arm, PowerPC, sistema operacional Linux, linguagem de programação C/C++.- Desenvolvimento de equipamentos para automação industrial.
Atividades
-
10/2008 - 09/2015
Pesquisa e desenvolvimento, Centro Tecnológico ? CTEC.,Linhas de pesquisa
2024 - Atual
Universidade do Vale do Rio dos SinosVínculo: Colaborador, Enquadramento Funcional: Pesquisador associado ao PPGCA, Carga horária: 12
Outras informações:
Atividades desempenhadas:tarefas de coorientação de estudantes de mestrado e doutorado e colaboração em pesquisas em andamento neste grupo de pesquisa quando solicitado como realização de código, planejamento e execução de experimentos; manipulação e transformação de dados; avaliação de resultados deexperimentos, compilação de resultados para publicação, orientação de bolsistas, colaboraçãona escrita e revisão de artigos científicos, palestras e workshops nas áreas de AI, IoT e HMI.
2024 - Atual
Universidade do Vale do Rio dos SinosVínculo: Colaborador, Enquadramento Funcional: Pesquisador do Grupo de Pesquisa em IA, Carga horária: 12
Outras informações:
coorientação de estudantes de mestrado e doutorado e colaboração em pesquisas em andamento neste grupo de pesquisa quando solicitado como realização de código, planejamento e execução de experimentos; manipulação e transformação de dados; avaliação de resultados deexperimentos, compilação de resultados para publicação, orientação de bolsistas, colaboraçãona escrita e revisão de artigos científicos, palestras e workshops nas áreas de AI, IoT e HMI.
2011 - 2015
Universidade do Vale do Rio dos SinosVínculo: Professor, Enquadramento Funcional: Professor auxiliar, Carga horária: 12
Outras informações:
Leciona nos cursos de graduação em segurança da informação e pós-graduação em desenvolvimento de aplicações para dispositivos móveis.
2010 - 2015
Universidade do Vale do Rio dos SinosVínculo: Professor coordenador, Enquadramento Funcional: Pesquisador, Carga horária: 20
Outras informações:
- Contratado para projeto de pesquisa com TV-Digital, atuando como pesquisador e líder do grupo que desenvolve hardware e software embarcado para CODEC de áudio/vídeo e Multiplexador de sinal digital.
- Hardware VirtexV, processador MicroBlaze, sistema operacional Linux, linguagem de programação C.
2010 - 2015
Universidade do Vale do Rio dos SinosVínculo: Membro, Enquadramento Funcional: Pesquisador
Outras informações:
Pesquisador no grupo de pesquisa Tecnologias Aplicadas de Informação e Comunicação Digitais da Universidade do Vale do Rio dos Sinos.
2007 - 2008
Universidade do Vale do Rio dos SinosVínculo: Contratação temporária, Enquadramento Funcional: Projetista e desenvolvedor de Software, Carga horária: 20
Outras informações:
Atividades desenvolvidas:
- Contratado para projeto de pesquisa com TV-Digital, atuando como projetista, desenvolvedor e
líder de equipe responsável pelo software de Multiplexação e Demultiplexação para equipamentos de TV-Digital.
- Plataforma desenvolvida PC e PowerPC, sistema operacional Linux, linguagem de programação
C.
Atividades
-
07/2024
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnológicas, Área de Conhecimento e Aplicação de Informática.,Linhas de pesquisa
-
10/2010 - 12/2015
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnológicas, Área de Conhecimento e Aplicação de Informática.,Linhas de pesquisa
2003 - 2007
Getnet Técnologia em Captura de dadosVínculo: Colaborador, Enquadramento Funcional: analista de sistemas, Carga horária: 44
Outras informações:
Atividades desenvolvidas:
- Portar software de transação financeira para diversos modelos de hardware denominados point of sale (POS).
- Coordenação de equipe na definição e organização de repositório de dados padrão para o setor de TI.
- Organização da metodologia de testes de POS e mais tarde do setor de testes.
- Projeto e desenvolvimento de novas funcionalidades aos softwares de POS com: atualização remota de software, reformulação da arquitetura de software para torná-lo mais flexível, ajuste da comunicação em arquitetura cliente/servidor, criptografia, inclusão de módulo de comunicação GPRS.
2000 - 2001
Altus Sistemas de Informática LtdaVínculo: estagiário, Enquadramento Funcional: programação, Carga horária: 40
Outras informações:
Atividades desenvolvidas:
- Desenvolvimento de protocolos de comunicação, voltados para atender o hardware da Altus, nas linguagens Delphi, C, C++.
- Desenvolvimento de sistema de automação controlado via web utilizando html, javascript e xml.
- Manutenção e melhoria de sistemas de automação em linguagem C e C++, desenvolvidos para
Ipiranga, Petrobras e Copesul, trabalhando e atendendo os clientes diretamente na planta de
produção.
2002 - 2003
Fundação de Apoio à Universidade Federal do Rio Grande do SulVínculo: Colaborador, Enquadramento Funcional: projetista de software, Carga horária: 44, Regime: Dedicação exclusiva.
Outras informações:
Atividades desenvolvidas:
- Desenvolvimento de protocolos de comunicação adaptados ao hardware Altus, e voltados para a área elétrica e petroquímica. Atuando, por vezes, como arquiteto de software e outras como programador em linguagem C.
2019 - 2020
Philips Medical Systems, PhilipsVínculo: Colaborator, Enquadramento Funcional: Consultor, Carga horária: 32
2020 - 2021
Connecterra B.V.Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.
2020 - 2021
Alfen B.V.Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.
2021 - Atual
Viqal B.V.Vínculo: Celetista, Enquadramento Funcional: Founder - CTO, Carga horária: 40
2024 - Atual
TECHNURSE TECNOLOGIA PARA SAÚDE LTDA,Vínculo: voluntário, com vínculo formal, Enquadramento Funcional: Consultor Científico e Técnico, Carga horária: 12
Outras informações:
Atividades desempenhadas como Consultor Científico e Técnico:#10146; Pesquisa em relação às tecnologias utilizadas nodesenvolvimento do produto#10146; Mentoria nas decisões técnicas com reuniõesfrequentes#10146; Orientação de bolsistas no desenvolvimento de cadamódulo; codificação dos módulos do sistema quandonecessário#10146; Apresentação de metodologias de desenvolvimento desistemas#10146; Apresentação de tecnologias relacionadas a AI#10146; Reuniões com a empresa para guiar sua trajetória nodesenvolvimento do produto conforme a demanda demercado#10146; Pesquisa de concorrentes, mercado e tecnologias#10146; Organização interna da empresa: modelo de negócios,dinâmica diária de rotinas, estrutura organizacional#10146; Abertura de mercado, SEO#10146; Suporte técnico com clientes e investimentos elançamento de produto
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Daniel Formolo 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?