Research:

My research interests currently span the realms of Formal Methods, Computational Biology, and Machine Learning, with special interest on networks. I'm involved with the CMACS project.

My advisor is Rance Cleaveland.

Teaching:

Past semesters:

• TA for Spring 2009: CMSC 212 - Introduction to Low-Level Programming Concepts
• TA for Fall 2008: CMSC 212 - Introduction to Low-Level Programming Concepts
• TA for Fall 2007: CMSC 424 - Database Design
• TA Resources from all past semesters can be found here

Coursework:

Spring 2010:

• CMSC 754 - Computational Geometry
• CMSC 858W - Algorithms for Biosequence Analysis

Fall 2009:

• CMSC 737 - Fundamentals of Software Testing
• CMSC 828C - Statistical Pattern Recognition

Spring 2009:

• CMSC 724 - Database Management Systems
• CMSC 858C - The Probabilistic Method

Fall 2008:

• CMSC 740 - Advanced Computer Graphics
• CMSC 764 - Advanced Numerical Optimization

Spring 2008:

• CMSC 630 - Theory of Programming Languages
• CMSC 828G - Link Mining

Fall 2007:

• CMSC 652 - Complexity Theory
• CMSC 726 - Machine Learning
• CMSC 858L - Graphs and Networks in Computational Biology