Lehr- und Forschungsgebiet Informatik 2  Department of Computer Science RWTH

Jera Hensel

Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
52056 Aachen
Germany

E-Mail: hensel(at)cs(dot)rwth-aachen(dot)de
Phone: +49-241/80-21211
Fax: +49-241/80-22217
Room: 4208, Ahornstr. 55

 Research

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


 Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)


 Jera Hensel