External Members:
Dr. Robert P. Kurshan (formerly at Bell Labs, currently with Cadence)
Dr. Vladimir Levin (formerly at Bell Labs, currently with Microsoft)
Others:
Dr. Natasha Sharygina has applied the tool we built under this project to verify a robot controller software in her thesis.