For Site Visit, Oct. 6, 2011
For meetings
Clock
My main research interests are in Specification and Verification issues in Object-Oriented and Distributed Systems.
In Spring '10, I am teaching CSE 755:.
I am Chair of the CSE Department's undergraduate studies committee.