Nalini Vasudevan
|    Home   |    Publications   |    Presentations   |    Teaching   |
Graduate Courses
Here is the list of courses I took as a part of my graduate work at Columbia University:
Fall 08 Computer Architecture
Fall 07 Analysis of Algorithms
Compilers and Interpreters
Formal Verification of Hardware and Software Systems
Spr 07 Distributed Systems
Artificial Intelligence
Embedded Systems
Fall 06 Operating Systems
Programming Languages and Translators
Programming and Problem Solving

Projects
A Microprocessor Design using the SESC simulator
Computer Architecure Class Project, Fall 2008.
VeriSHIM: A BDD Verifier for SHIM
Formal Verification of Hardware and Software Systems Class Project, Fall 2007.
A SAT-based Sudoku Solver
Formal Verification of Hardware and Software Systems Class Project, Fall 2007.

 Imagic: A Digital Picture Frame
Embedded Systems Class Project, Spr 2007.
Mirage: A Sketching Language
Programming Languages and Translators Class Project, Fall 2006.

MyVoice: A Speech Recognizer
Spr 2004.
All Rights Reserved. 2010. www.cs.columbia.edu/~naliniv. Design by Nalini Vasudevan