I'm doing my Phd. And my interest is in formal verification, constraint programming, temporal logic.
Stack Overflow
Q&A for professional and enthusiast programmers
Joined 1 year ago, last seen 11 months ago
21 reputation
2
badges
2 questions
0 answers
