Lehr- und Forschungsgebiet Informatik 2  Department of Computer Science RWTH

Marc Brockschmidt

Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
52056 Aachen
Germany

E-Mail: brockschmidt@informatik.rwth-aachen.de
Phone: +49-241/80-21214
Fax: +49-241/80-22217
Room: 4208, Ahornstr. 55

 Research

I now am a post-doc researcher at Microsoft Research, and my new page is here.

I was a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik 2, working on automated termination analysis of and based on term rewriting. More specifically, I worked termination analysis of heap-manipulating imperative programs with a focus on Java Bytecode. The results of my work are implemented in AProVE and T2.

 Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)
 Presentations
 Publications


 Miscellaneous

 Marc Brockschmidt