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