Department of Computer Science
New York University
Email: yeting at cs nyu edu
My research interests are formal methods and automated theorem
proving. My PhD advisor is Clark
I defended my dissertation in November 2009. After that I was a postdoctoral scholar at University of Iowa, working with Cesare Tinelli. Since September 2010, I work for Two Sigma in SoHo, writing code for automatic trading system.
Sean McLaughlin, Clark Barrett, and Yeting Ge. Cooperating
Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. In
Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning (PDPAR '05), volume 144(2) of Electronic Notes
in Theoretical Computer Science, pages 43-51. Elsevier, January
2006. Edinburgh, Scotland.