Difference between revisions of "People:Jürgen Giesl"
From Termination-Portal.org
Jump to navigationJump to search (New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...) |
|||
(3 intermediate revisions by 2 users not shown) | |||
Line 19: | 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. --> | ||
+ | |||
+ | [http://verify.rwth-aachen.de/giesl/ http://verify.rwth-aachen.de/giesl/giesl2.jpg] |
Latest revision as of 08:09, 10 April 2008
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