Isitha's research interests include Operating Systems, Distributed Systems and Formal Verification.
More contact information is available at the Contact page.