|
|
|
user: isubasinghe
created: 2019-05-28
karma: 120
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
submissions:
|
|