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


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)


PhD thesis



 Dr. Carsten Otto