On the Logical Formalization of Single Photon Self-Interference

Areski Nailt-Abdallah, University of Western Ontario and INRIA Paris
Fri, 28 September, 2012 7:33pm

Abstract: We consider the particle interference problem in quantum physics, and discuss a Curry-Howard isomorphism based logical analysis of this problem. This approach is applied to a photon traversing a Mach-Zehnder interferometer.

Speaker's Bio: Nailt-Abdallah holds a "Doctorat es Sciences" in mathematics from the University of Paris. He taught computer science and applied mathematics at several universities in France, USA and Canada. His research interests are in the area of theoretical computer science, computational linguistics, and applied logic.


Share This Event