|
|
Thilo
S.
Gaul
|
|---|---|
| Currently I am working as scientific research stuff at University of Karlsruhe with the Program Structures Group headed by Prof. Gerhard Goos. My work areas are theoretical and practical compiler construction, concentrating on compiler verification in my PhD. Recent projects I work(ed) on are VERIFIX(see below), 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, consulting them standardizing multi-media networks in cars. |
