Diego Rocha

Software Engineer &
Formal Verification Researcher

Career

🚀 Embedded Software Engineer at Embraer
🎓 Master's Degree student at ITA

Other Hobbies

✈️ Travelling
🎸 Playing the Guitar
🏐 Volleyball
♟️ Chess