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=cotto@i2.informatik.rwth-aachen.de
+
|email=otto@informatik.rwth-aachen.de
|homepage=http://c-otto.de
+
|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=Student           <!-- role: Student, Professor, PhD Student, ... -->
+
|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