Vincent Aravantinos

Latest

• Formal analysis of optical systems
• A new approach for the verification of optical systems
• Formal stability analysis of optical resonators
• Higher-Order Logic Formalization of Geometrical Optics
• On the formal analysis of geometrical optics in HOL