Andreas Heberle
Currently, I am a member of the VERIFIX project. The aim of this project is the construction of verified compilers for realistic programming languages and realistic target machines.
Research interests
- Specification of programming language semantics
- Specification and verification of compiler tasks
- Generation of compilers
- Abstract State Machines (ASM)
- Montages
- Software engineering topics in general
- WWW applications
In the moment, I am finishing my PhD thesis. I investigate the construction of correct transformations which in fact is the core of a correct compiler. The title of the thesis is "Korrekte Transformationsphase - der Kern korrekter Übersetzer". My publications can give you a more detailed insight into my work.
More Information about myself can be found in my curriculum vitae.
Address
|