Difference between revisions of "People:Aart Middeldorp"
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...) |
m |
||
| (One intermediate revision by the same user not shown) | |||
| Line 10: | Line 10: | ||
|lastname=Middeldorp | |lastname=Middeldorp | ||
|titles= | |titles= | ||
| − | |email=aart. | + | |email=aart.middeldorp_at_uibk.ac.at |
|homepage=http://cl-informatik.uibk.ac.at/~ami/ | |homepage=http://cl-informatik.uibk.ac.at/~ami/ | ||
|country=Austria | |country=Austria | ||
Latest revision as of 05:23, 11 April 2008
Aart Middeldorp
- Professor in the Department of Institute of Computer Science (University of Innsbruck, Austria)
- home page: http://cl-informatik.uibk.ac.at/~ami/
- email: mailto:aart.middeldorp_at_uibk.ac.at
