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...) |
|||
| Line 9: | Line 9: | ||
|middlenames= | |middlenames= | ||
|lastname=Giesl | |lastname=Giesl | ||
| − | |||
|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/ | ||
Revision as of 18:02, 29 March 2008
{{{titles}}} 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
