Difference between revisions of "People:Carsten Otto"
From Termination-Portal.org
Jump to navigationJump to search| Line 10: | Line 10: | ||
|lastname=Otto | |lastname=Otto | ||
|titles= | |titles= | ||
| − | |email= | + | |email=otto@informatik.rwth-aachen.de |
| − | |homepage=http:// | + | |homepage=http://verify.rwth-aachen.de/otto/ |
|country=Germany | |country=Germany | ||
|university=RWTH Aachen | |university=RWTH Aachen | ||
|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. --> | ||
Revision as of 16:08, 2 October 2008
Carsten Otto
- Research and Teaching Assistant in the Department of Research Group Computer Science 2 (RWTH Aachen, Germany)
- home page: http://verify.rwth-aachen.de/otto/
- email: mailto:otto@informatik.rwth-aachen.de
