user3128
98
reputation
5
Professional user of formal methods, model-checking and interactive theorem proving.