MOVES: Software Modeling and Verification
(Informatik 2)

Prof. Dr. Ir. Joost-Pieter Katoen

Computer Science / RWTH / I2 / Staff / Current / Mohnen

LuFG I2

Printer-friendly

Markus Mohnen

Dr. Markus Mohnen
Lehrstuhl für Informatik II
RWTH Aachen
D-52056 Aachen
Germany

Phone: +49-241/80-21240
Fax: +49-241/ 80-22217
Email: mohnen@informatik.rwth-aachen.de

Research Interests

My main research interests are the design and implementation of programming languages, especially

Object-oriented Languages
Analysis based optimisations
Program transformations
Abstract interpretation
Type systems
Context patterns

Click here for a list of publications.

Recent Scientific Activities

jDFA
IFL2000
PC member of IFL99
PC member of IFL98

Lehre (in German)

Hier finden Sie eine Liste von Diplomarbeiten und möglichen Diplomarbeitsthemen.

Eine Liste von Lehrveranstaltungen finden Sie hier.

[Mail]

Disclaimer

Last modified: 2002-12-16 14:19 UTC