Dr. Frank Penczek

Erforschung von dynamischen Programmoptimierungen zur besseren Ausnutzung von parallelen Rechenresourcen; Design, Entwicklung und Integration der strom-basierten Koordinierungssprache S-Net und deren Tools; Entwicklung und Auswertung von Fallstudien mit Projektpartnern aus Wissenschaft und Wirtschaft; Betreuung von BSc, MSc und PhD Studenten

Erforschung und Entwicklung eines statischen Typsystems, formale Semantik, Sprachdesign und Ausführungsmodell für nebenläufige Koordinierungssprachen; Compiler und Laufzeitsystementwicklung; Lehre im Bereich paralleler Programmierung und Programmiersprachenentwicklung

Laufzeitsysteme für parallele Programmiersprachen, Compilerbau, Sprachdesign, formale Semantik, Typsysteme, dynamische Optimierung

Programmiersprachen, paralleles Rechnen, verteilte Systeme, Algorithmen und Datenstrukturen; medizinische Informatik, bildgebende Verfahren