Thibaut Pérami

31
reputation
3

CS Student at the ENS. I work with operating systems, hypervisors, compilers and anything related to low-level code. I also work on formal verification of the formers.