Jera Hensel

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-21214
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)

Vorlesung Formale Systeme, Automaten, Prozesse (SS 19)
Seminar Verifikationsverfahren (SS 19)
Seminar Satisfiability Checking (SS 19)
Proseminar Fortgeschrittene Programmierkonzepte (SS 19)
Seminar Verifikationsverfahren (WS 18/19)
Vorlesung Formale Systeme, Automaten, Prozesse (SS 18)
Vorlesung Programmierung (WS 17/18)
Seminar Verifikationsverfahren (WS 17/18)
Vorlesung Logic Programming (SS 17)
Seminar Satisfiability Checking (SS 17)
Proseminar Fortgeschrittene Programmierkonzepte (SS 17)
Vorlesung Programmierung (WS 16/17)
Seminar Verifikationsverfahren (WS 16/17)
Vorlesung Datenstrukturen und Algorithmen (SS 16)
Proseminar Fortgeschrittene Programmierkonzepte (SS 16)
Vorlesung Programmierung (WS 15/16)
Seminar Termersetzungssysteme - Aktuelle Themen und Erweiterungen (WS 15/16)
Proseminar Fortgeschrittene Programmierkonzepte (WS 15/16)
Vorlesung Logic Programming (SS 15)
Seminar Satisfiability Checking (SS 15)
Proseminar Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog (SS 15)
Vorlesung Programmierung (WS 14/15)
Seminar Verifikationsverfahren (WS 14/15)

Jera Hensel