|
|
| user: | isubasinghe | | created: | May 28, 2019 | | karma: | 113 | | 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. https://isub.dev | | submissions | | comments | | favorites |
|
