 |
|||||||||||||||
|
|
||||||||||||||
 |
 |
 |
 |
 |
 |
||||
| Graduate Coursework | ||
| Fall 2007 | ||
| CS 261 Computer Security | ||
| Spring 2007 | ||
| EE 290N Equivalence Checking | CS 294-5 Dynamic Program Analysis, Testing, and Debugging | |
| Fall 2006 | ||
| MATH 221 Advanced Matrix Computation | ||
| Spring 2006 | ||
| CS 294-2 Software Synthesis | EE 219C Computer Aided Verification | |
| Fall 2005 | ||
| CS 271 Randomness And Computation | ||
| Spring 2005 | ||
| CS 264 Implementation of Programming Languages | ||
| Fall 2004 | ||
| MATH 250A Groups Rings and Fields | ||
| Spring 2004 | ||
| CS 282 Computer Algebra | CS 267 Applications of Parallel Computers | |
| ECON 230B Public Sector Microeconomics | ||
| Fall 2003 | ||
| CS 252 Computer Architecture | CS 263 Design and Analysis of Programming Languages | |
| ECON 230A Public Sector Microeconomics | ||
| At Texas A&M | ||
| CPSC 606 Neural Networks | ||
| Wavelet Analysis | ||
| Computational Algebraic Geometry | ||
| Software Engineering | ||