Difference between revisions of "People:Carsten Otto"
From Termination-Portal.org
Jump to navigationJump to search(6 intermediate revisions by 2 users not shown) | |||
Line 10: | Line 10: | ||
|lastname=Otto | |lastname=Otto | ||
|titles= | |titles= | ||
+ | |email=otto@informatik.rwth-aachen.de | ||
+ | |homepage=http://verify.rwth-aachen.de/otto/ | ||
|country=Germany | |country=Germany | ||
− | |university=RWTH Aachen | + | |university=RWTH Aachen University |
|department=Research Group Computer Science 2 | |department=Research Group Computer Science 2 | ||
− | |role= | + | |role=Research and Teaching Assistant <!-- 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. --> | ||
+ | |||
+ | [http://verify.rwth-aachen.de/otto/ http://verify.rwth-aachen.de/otto/otto.jpg] |
Latest revision as of 07:30, 29 November 2011
Carsten Otto
- Research and Teaching Assistant in the Department of Research Group Computer Science 2 (RWTH Aachen University, Germany)
- home page: http://verify.rwth-aachen.de/otto/
- email: mailto:otto@informatik.rwth-aachen.de