user1393905

China

Age: 27

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

Top Questions
No questions with score of 5 or more
Top Answers
No answers with score of 5 or more