greps
428
reputation
2
7
PhD student in Computer Science at the Sorbonne University, Paris. Working on programming languages and verification.