Darius Dlugosz

Lehr- und Forschungsgebiet Informatik II

Department of Computer Science

RWTH

Darius Dlugosz

Lehr- und Forschungsgebiet Informatik II
RWTH Aachen
D-52056 Aachen
Germany

E-mail: darius@informatik.rwth-aachen.de
Phone: +49-241/80-21211
Fax: +49-241/80-22217
Room: 4207, Ahornstr. 55

Research

I am a scientific coworker and PhD student at Lehr- und Forschungsgebiet Informatik II. My fields of interest are:

Verification
Automated Deduction
Proof by Induction

Teaching Activities (Lehr- und Forschungsgebiets Informatik II)

Seminar Verifikation von Programmen (WS 01/02)
Vorlesung Informatik I - Programmierung (WS 01/02)
Seminar Push-Button Verifikation (SS 01)
Vorlesung Grundlagen der funktionalen Programmierung (SS 01)
Seminar Push-Button Verifikation (SS 01)
Vorlesung Automatisierte Programmverifikation (WS 00/01)
Seminar Verifikationswerkzeuge und -verfahren (WS 00/01)

Darius Dlugosz Last modified: Tue Jul 10 09:42:10 CEST 2001