user1393905
121
reputation
5
I'm doing my Phd. And my interest is in formal verification, constraint programming, temporal logic.