Lehr- und Forschungsgebiet Informatik 2  Department of Computer Science RWTH
Dr. Carsten Otto 

E-Mail: otto@informatik.rwth-aachen.de

Now Software Developer at andrena objects ag.
Dr. Carsten Otto

 Research

From 2008 to 2013 I was a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik 2. I was working on automated termination analysis involving term rewriting. More specifically I was working on termination analysis of imperative languages with focus on Java Bytecode. The results of my work are implemented in AProVE.

 Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)


 Publications

PhD thesis

Conferences


 Miscellaneous

 Dr. Carsten Otto