Lehr- und Forschungsgebiet Informatik 2  Department of Computer Science RWTH

David Keller
Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
52056 Aachen
Germany

E-Mail: davidkor@cs.rwth-aachen.de
Phone: +49-241/80-21241
Fax: +49-241/80-22217
Room: 4209, Ahornstr. 55

 Research

I have been a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik 2 since April 2016. Moreover, I am one of the main developers of the Automated Program Verification Environment (AProVE) tool.


 Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)


 David Keller