My work areas are theoretical and practical compiler construction,
concentrating on compiler verification in my PhD. Recent projects are VERIFIX, the
ESPRIT supported projects
OMI/SAFE and
OMI/FAME as part of the
Open Microprocessor Initiative (OMI), as well as the AJACS project (Applying Java to Automotive Control Systems).
I am involved in some J
Consortium activities, active in the ANDF Consortium and most recently we cooperate with the MOST-Consortium and Daimler-Chrysler, consulting them to
standardize multi-media networks in cars.
