user1393905

China

Age: 28

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

Top Answers
No answers with score of 5 or more