Isitha's research interests include Operating Systems, Distributed Systems and Formal Verification. He presently works on verifying OS code using SMT solvers
More contact information is available at the Contact page.
|Mathieu Paturel, Isitha Subasinghe and Gernot Heiser|
First steps in verifying the seL4 Core Platform
Asia-Pacific Workshop on Systems (APSys), Seoul, KR, August, 2023