My research interests include working on developing Formal Methods for Real-Time systems. Mainly using JML. JML is a behavioral specification language for Java.
My dissertation proposal is entitled "Specification and Verification of Timing Constraints in Safety Critical Java"
I'm also interested in developing interdisciplinary applications. I've been working on developing a self learning application for Electrical Circuits
Here is a seminar that I held in Fall 2007 on Specification and Verification of Real-Time Systems..
More on this to come...
[12/5/2007] Launched this website