I'm a software engineer and I'm keen on doing research and development.
I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
Search results
0 open and 0 closed projects found.-
There aren't any projects yet