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