Isitha's research interests include Operating Systems, Distributed Systems and Formal Verification. He presently works on verifying OS code using SMT solvers
| Email: | i.subasinghe@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Current |