Frederico Silva Guimarães

He holds a degree in Computer Engineering from the Pontifical Catholic University of Rio de Janeiro (2004) and a Master's degree in Computer Science from the Pontifical Catholic University of Rio de Janeiro (2006). Currently he is from JLMG SOLUÇÕES EM INFORMÁTICA E TECNOLOGIA LTDA - EPP. Has experience in the area of ​​Computer Science, with emphasis on Methodology and Computer Techniques. Acting mainly on the following topics: Integrity of Inspection of Pipes and Structures, Design by Contract, Real Time Systems, Multi-Agent Systems, Recovery Oriented Systems, Embedded Software and Fault Tolerance.

Possui graduação em Engenharia de Computação pela Pontifícia Universidade Católica do Rio de Janeiro(2004) e mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro(2006). Atualmente é da JLMG SOLUÇÕES EM INFORMÁTICA E TECNOLOGIA LTDA - EPP. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas: Integridade de Inspeção de Dutos e Estruturas, Design by Contract, Sistemas de Tempo Real, Sistemas Multi-Agentes, Sistemas Orientados à Recuperação, Software Embarcado e Tolerância a Falhas.