The field of computer science is in an exciting stage now, leaving its infancy in conceding that not all interesting questions can be solved precisely. Though some classicists skoff at the notion of approximate computation, a necessary evil which uncomfortably fills a vacancy until an optimal deterministic algorithm can be discovered, a more enlightened philosophy realizes that nothing is certain, even our own existence. But I have to go now.. South Park is on. I also play the piano and study celestial mechanics. And my favorite i-Mac color is "lime". And I love Ithaca. It is gorgeous.
Tugkan Batu, Ronit Rubinfeld, Patrick White. Verification of Remotely Executed Code using probabilisitcally checkable-proof systems. 1999
Tugkan Batu, Ronit Rubinfeld, Patrick White. Fast approximate PCPs for multidimensional bin-packing. 1999