VIDEOTORIUM
Toggle navigation
Categories
Channels
Live events
Login
Register
×
Close
Login
Email address
*
Password
*
Log in
Shibboleth Login
Login with eduID
Login with Google
Login with Facebook
Create an Account
|
Forgot Password
×
Close
Register
Username
*
E-mail address
*
*
Password
*
Confirm password
*
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Math question
*
3 + 3 =
Create new account
English
Magyar
Search
Search
Thomas Henzinger
Thomas Henzinger
Proffesions
Ecole Polytechnique Fédérale de Lausanne
Photos
Model checking, theorem proving, and abstract
kifu
Thomas Henzinger
14 years ago - 41:21
