Accessibility Tools
Skip to Content
Accessibility
Text Size:
N/A
Breadcrumb
Concordia Home
Hardware Verification Group Home
Search
HVG
All of Concordia
Staff & Faculty Directory
Search Query
Main Menu
Research
Publications
People
Alumni
Laboratories
Partners
Events
Honours
Research
Main Project
Sub-projects
People
Contact us
Hardware Verification Group Home
>
Research
>
Methodologies and Frameworks
>
Formal Analysis of Optical Systems
Current Projects
Formalization of Geometrical Optics
Formalization of Electromagnetic Optics
Formalization of Quantum Optics
Towards the Design Automation of Quantum Circuits
Concordia University
