Difference between revisions of "People:Jürgen Giesl"
From Termination-Portal.org
Jump to navigationJump to search (Fixed Link) |
|||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 9: | Line 9: | ||
|middlenames= | |middlenames= | ||
|lastname=Giesl | |lastname=Giesl | ||
| + | |titles= | ||
|email=giesl@informatik.rwth-aachen.de | |email=giesl@informatik.rwth-aachen.de | ||
|homepage=http://verify.rwth-aachen.de/giesl/ | |homepage=http://verify.rwth-aachen.de/giesl/ | ||
| Line 18: | Line 19: | ||
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --> | <!-- If you want to add some personal data to your userpage, you can do so after this comment. --> | ||
| + | |||
| + | [https://verify.rwth-aachen.de/giesl/ https://verify.rwth-aachen.de/giesl/index-Dateien/Giesl_Small.jpg] | ||
Latest revision as of 12:27, 15 January 2026
Jürgen Giesl
- Professor in the Department of Research Group Computer Science 2 (RWTH Aachen, Germany)
- home page: http://verify.rwth-aachen.de/giesl/
- email: mailto:giesl@informatik.rwth-aachen.de
