Research projects
2022 - Present - SÃntese e verificação de simulação de sistemas robóticos
2021 - Present - Residência em Robótica e Inteligência Artificial Aplicadas a Testes
2020 - Present - Model Transformation from RoboSim to Network of Timed Automata for UPPAAL
2020 - Present - Formal analysis of blockchain components
2017 - Present - RoboTIC@ - Information and Communication Technology for Robotics and Applications
2016 - Present - INCT para Engenharia de Software (INES)
2016 - 2019 - Reducing Cost of Software: A Scalable Model-Based Verification Framework