Orlin G. Grigorov

M.Sc. in Computer Science, McMaster University
B.A. in Computer Science, American University in Bulgaria

Phone: (905) 928-9501
Email: ogrigorov AT gmail.com

Go to: Panoptes: An Exploration Tool for Formal Proofs (Master's thesis)

Go to: IMPS - Interactive Mathematical Proof System

Go to: Department of Computing and Software, McMaster University