Lisandra Silva

Lisandra Silva finished her MsC in Informatics Engineering at University of Minho in the areas of Formal Methods and Cryptography. During an internship at Oracle Labs in 2019 she made contributions to the modeling and proving safety conditions of distributed systems protocols, and developed a framework to prove liveness properties in Agda. A former physiotherapist, who practiced for 3 years, Lisandra returned to her passion for Math. Professional interests include the use of mathematical and logical reasoning to model and formally verify complex systems, protocols and/or programs.