PhD student & Runner
Neural 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.