Professor Substituto de Engenharia de Software no Instituto de Informática (INF-UFG). Doutorando em Ciência da Computação pelo Instituto de Informática da Universidade Federal de Goiás (INF-UFG) na subárea de Engenharia de Requisitos. Foi Diretor de Inovação na Secretaria de Ciência, Tecnologia e Inovação da Prefeitura Municipal de Aparecida de Goiânia (2017-2021). Suas áreas de interesse incluem: Engenharia de Software, Internet das Coisas (IoT), Cidades Inteligentes e Web Semântica.

ernestoveiga@discente.ufg.br

http://lattes.cnpq.br/7265653681679702

Desenvolvedor de software com sólida experiência em desenvolvimento Backend e Fullstack, já tendo desenvolvido diversas APIs REST e também plataformas completas, demonstrando habilidades técnicas avançadas e capacidade de entrega em ambientes dinâmicos. Destaco-me por minha proficiência em Python, Django, Flask, Node.js e TypeScript, bem como pela minha experiência em modelagem de banco de dados relacional e não relacional. Minha expertise inclui a implementação de testes unitários e de integração para garantir a qualidade do software. Possuo experiência comprovada na implantação das soluções desenvolvidas em nuvem, utilizando serviços como AWS, Azure e Docker. Além disso, sou capaz de colaborar eficazmente em equipes multidisciplinares para atender às necessidades do projeto, e minhas habilidades técnicas são complementadas por uma abordagem proativa na resolução de problemas e na busca contínua pela excelência técnica.

fjrleao@gmail.com

http://lattes.cnpq.br/7756468961431980

Possui mestrado em Fundamentos da Computação pela Universidade Federal de Goiás. Durante a sua estadia na academia, ele se envolveu em projetos relacionados à verificação formal de diversos modelos de computação e semântica de linguagens de programação usando assistente de provas. Fora da academia, ele trabalha para Nethermind como engenheiro de verificação formal, onde desenvolve projetos relacionados à Web3 e computação verificável. Na Web3, trabalha com especificação e verificação formal de protocolos e contratos inteligentes e pesquisa. Relacionado à computação verificável, ele trabalha com pesquisa, desenvolvimento e verificação formal de Polynomial Interactive Oracle Proofs (PIOPs), mais especificamente Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (ZK-SNARKs).

fabricio@nethermind.io

https://br.linkedin.com/in/fasapa

Cursando Bacharelado em Ciência da Computação, pelo Instituto Federal - Campus Iporá

heder.filho@estudante.ifgoiano.edu.br

http://lattes.cnpq.br/0311442205991517

Graduando em Tecnologia em Análise e Desenvolvimento de Sistemas pelo Instituto Federal de Ciência e Tecnologia Goiano - Campus Iporá GO. Estudante participante do Núcleo de Estudos em Informática Aplicada (NEIA) - Instituto Federal Goiano - IF Goiano. Linha de pesquisa: Interação Humano Computador. Orientador: Dr. Thamer Horbylon Nascimento.

johnathan.santos@estudante.ifgoiano.edu.br

http://lattes.cnpq.br/9639564566090992

Formado em ciências da computação pela UFMT, pós graduado em MBA - Engenharia de Software pela Faculdade Metropolitana. Ja programei em Java, Python e linguagem C, também tenho conhecimento em desenvolvimento mobile com Dart, e o uso de frameworks como Django, Spring e Flutter.

pedro.peralta@ifgoiano.edu.br

http://lattes.cnpq.br/1439902330018456

Doutorando em Educação para Ciências e Matemática - IFG/Câmpus Jataí. Mestre em Educação para Ciências e Matemática - IFG/Câmpus Jataí. Possui Especialização em Segurança de Redes em Ambientes Corporativos pelo Serviço Nacional de Aprendizagem de Goiás (SENAC-GOIÁS), graduado em Tecnologia em Sistemas de Informação pelo Centro Federal de Educação Tecnológica de Goiás (UnED-Jataí) (2008). Atualmente é professor no Instituto Federal de Educação, Ciência e Tecnologia de Goiás, membro do Núcleo de pesquisa em Informática na Educação do IFG (NINE), membro do Grupo de estudos sobre Robótica Educacional do IFG (EduBot), membro do grupo Escola de Games da UFJ (Escola de Games) e líder do GDG Jataí (Google Developers Group). Tem experiência na área de Informática na Educação e desenvolvimento de software, com ênfase em desenvolvimento web, atuando principalmente nos seguintes temas: Tecnologias Digitais de Informação e Comunicação, Informática na educação, Robótica educacional, Gamificação, Rich Internet Application (RIA), Java, Object Pascal (DELPHI), PHP, JQuery, Bootstrap, Ajax, Laravel, Springboot, React, Angular e Realidade Virtual e Aumentada.

renato.abreu@ifg.edu.br

http://lattes.cnpq.br/9361531501920142