User: isubasinghe

Created: 2519 days ago
Karma: 113
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.
https://isub.dev