Manuel Eberl
Chair for Logic and Verification
This website is defunct since I no longer work at TUM. Please look at my
new website
instead.
