Difference between revisions of "People:Carsten Otto"
From Termination-Portal.org
Jump to navigationJump to searchm (Photo) |
|||
| Line 13: | Line 13: | ||
|homepage=http://verify.rwth-aachen.de/otto/ | |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=Research and Teaching Assistant <!-- role: Student, Professor, PhD Student, ... --> | |role=Research and Teaching Assistant <!-- role: Student, Professor, PhD Student, ... --> | ||
Revision as of 13:54, 11 April 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
