Difference between revisions of "People:René Thiemann"
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...) |
|||
| (5 intermediate revisions by 2 users not shown) | |||
| Line 10: | Line 10: | ||
|lastname=Thiemann | |lastname=Thiemann | ||
|titles= | |titles= | ||
| − | |email=rene. | + | |email=rene.thiemann_at_uibk.ac.at |
|homepage=http://cl-informatik.uibk.ac.at/~thiemann/ | |homepage=http://cl-informatik.uibk.ac.at/~thiemann/ | ||
| − | |country= | + | |country=Austria |
|university=University of Innsbruck | |university=University of Innsbruck | ||
| − | |department= | + | |department=Computational Logic Group |
| − | |role= | + | |role= <!-- role: Student, Professor, PhD Student, ... --> |
}} | }} | ||
<!-- 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. --> | ||
Latest revision as of 14:17, 10 April 2008
René Thiemann
- in the Department of Computational Logic Group (University of Innsbruck, Austria)
- home page: http://cl-informatik.uibk.ac.at/~thiemann/
- email: mailto:rene.thiemann_at_uibk.ac.at
