Trustworthy Systems

Isitha Subasinghe
Research Assistant

Research Interests

Isitha's research interests include Operating Systems, Distributed Systems and Formal Verification. He presently works on verifying OS code using SMT solvers

Contact Details

Email:i.subasinghe@unsw.edu.au

More contact information is available at the Contact page.

Photo of Isitha Subasinghe

Projects

Current

Publications