Recent Coursework

Spring 2007:

ComS 556: Analysis Algorithms for Stochastic Models

Markov Chain (discrete-time and continuous-time) Representation and Analysis, Model Checking.

Fall 2006:

ComS 515: Software Safety

What is Software Safety? Hazard Analysis, Prevention, Requirement Analysis, Failure Detection and Handling.