Ketan Mulmuley

• Full abstraction and semantic equivalence
• Computational Geometry