user1393905

China

Age: 27

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