Lehr- und Forschungsgebiet Informatik 2  Department of Computer Science RWTH

Thomas Ströder

Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
52056 Aachen
Germany

E-Mail: stroeder@informatik.rwth-aachen.de
Phone: +49-241/80-21241
Fax: +49-241/80-22217
Room: 4209, Ahornstr. 55
Thomas Stroeder

 Research

I have been a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik 2 since March 2010. Moreover, I am one of the main developers of the Automated Program Verification Environment (AProVE) tool. From March to May 2013, I completed a 12 weeks internship at Microsoft Research Cambridge under the guidance of Samin Ishtiaq and Byron Cook. My fields of interest include (but are not limited to):


 Organizational Activities


 Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)


 Publications

Journals

Conferences

Proceedings

Informal Publications


 Miscellaneous

 Thomas Ströder