User:Rnollet

PhD in theoretical computer science / logic / proof theory. Teacher in computer science.