Currently working at FBK
Topics: Formal Verification
Now living in Trento, Italy
« back to alumni list