Projects

Current Projects

• Mathematics
• Introductory Combinatorics, by Bogart
• The Calculi of Lambda-Conversion, by Church
• Computer Science
• Introduction to Formal Languages, by Révész
• Introduction to Automata Theory, Languages, and Computation, by Hopcroft and Ullman
• General
• Hard Times, by Dickens
• Middlesex, by Eugenides
• Candide, by Voltaire
• Watching all Academy Award nominees for Best Picture or Best Director

Completed Projects

• Computer Science
• The Structure and Interpretation of Computer Programs, by Abelson and Sussman