to my little corner of the Department
of Computer Science at Columbia
I'm a recently-graduated PhD student, formerly working for Prof.
Steven Nowick in the asynchronous logic
I now work at the Computer
Music Center at IBM's T.J. Watson Research Center.
The culmination of my thesis work is MINIMALIST, a state-of-the-art
software package for the synthesis and verification of burst-mode
asynchronous state machines.
To get the MINIMALIST software, click here.
For a brief technical report describing MINIMALIST, look here (PostScript format).
All of the gory details of the algorithms, along with benchmark results, appear in my dissertation (also PostScript).
Here are a few software technologies and activities I find interesting:
Trolling for resumes?