Lehr- und Forschungsgebiet Informatik 2

Department of Computer Science

Research

I have been a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik 2 since November 2019.

Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)

• Vorlesung Logic Programming (Summer 20)
• Proseminar Fortgeschrittene Programmierkonzepte (Summer 20)
• Seminar Satisfiability Checking (Summer 20)
• Vorlesung Programmierung (Winter 19/20)
• Seminar Verifikationsverfahren(Winter 19/20)