michaels (followed by @, then cs, then a dot, then nyu, then a dot, and then edu)
I am a software engineer at Google.
Spring 2010: Web Development with Ruby on Rails
Fall 2009: Production Quality Software
Summer 2009: Open Source Programming
Spring 2009: Web Development with Ruby on Rails
Fall 2008: Production Quality Software
Summer 2008: Open Source Programming
Spring 2008: Web Development with Ruby on Rails
Fall 2007: Production Quality Software
Spring 2007: Production Quality Software
A tool designed to find semantic, lexical, and other types of relationships in any type of data or metadata source.
Query by Humming
A system that allows the user to find a song by humming part of the tune.
Satisfiability Modulo Theories (SMT) Library
A library of benchmarks for Satisfiability Modulo Theories (satisfiability of formulas with respect to background theories for which decision procedures exist).
MatchIT: Data Integration with Semantic Mapping Technologies,Semantic Technology Conference, March 8, 2006 (ppt)
Doodlebyte - Blog on teaching and computer science
Algorithms in Java - Parts 1-4, Sedgewick and Schidlowsky, Addison-Wesley, 2002
Algorithms in Java, Part 5, Sedgewick and Schidlowsky, Addison-Wesley, 2003
MS Computer Science, New York University
AB Computer Science, Princeton University
Please use my PGP public key when sending me private email. I recommend GnuPG.