Difference between revisions of "People:René Thiemann"
From Termination-Portal.org
Jump to navigationJump to search| Line 14: | Line 14: | ||
|country=Austria | |country=Austria | ||
|university=University of Innsbruck | |university=University of Innsbruck | ||
| − | |department= | + | |department=Computational Logic Group |
|role=Research Assitent <!-- role: Student, Professor, PhD Student, ... --> | |role=Research Assitent <!-- 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. --> | ||
Revision as of 17:49, 29 March 2008
René Thiemann
- Research Assitent in the Department of Computational Logic Group (University of Innsbruck, Austria)
- home page: http://cl-informatik.uibk.ac.at/~thiemann/
- email: mailto:rene.thiemann@uibk.ac.at
