PhD student & Runner
A comprehensive introduction to the fundamentals of neural network verification, covering basic concepts, mathematical foundations, and practical applications in safety-critical systems.
Read MoreLearn the theoretical foundations of abstract interpretation and how to apply these concepts to real-world program analysis problems.
Read MoreNeural network verification is the process of formally analyzing neural networks to ensure they behave correctly and safely under all possible inputs, particularly in safety-critical applications.
View ProjectLattice theory provides a foundational framework for order theory, logic, and applications in computer science and mathematics.
View ProjectAbstract interpretation is a theory of sound approximation of program behaviors used in static analysis to detect potential errors without executing the program.
View ProjectI'm always open to discussing new projects, creative ideas or opportunities to be part of your vision.