isubasinghe

Joined 7 years ago, with 113 karma

Submissions

Comments

Favorites

Follow via RSS

About

I am Isitha, I like Distributed Systems, Programming Languages / Compilers and I have some interests in verifiable systems as well.

I used to be a researcher at the Trustworthy Systems group at UNSW, you might've heard of seL4.

I now write code at Pipekit.