Giann Nandi (Projects)

Giann Nandi (Projects)

PhD Student

Giann was born in the Nova Veneza, south of Brazil, in 1994. During his early ages, he showed interest in computer-related subjects, which motivated him to obtain his Computing certificate in 2011 and his bachelor degree in Computer Engineering in 2017. Giann received multiple scholarships to work researching both in Brazil and in the Netherlands. His interests include physical experiments using embedded systems, formal verification, and real-time processing.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
REASSURE
Secure Runtime Verification for Reliable Real-Time Embedded Software