I'm a Ph.D. student at the Institute for Computer Science at the University of Freiburg, Germany. My research interest includes programming languages and static program analysis.
I work on a DFG project "Typbasierte Programmanalyse für Skriptsprachen" (typbased program analysis of scripting languages). The main goal of the project is to develop a typesystem for JavaScript that helps finding common errors in JavaScript source code. One major aspect of JavaScript is the flexible realization of its objects. It is possible to modify the objects' set of properties at runtime and use arbritary expressions to compute property labels. These labels can then be used to read properties or modify the associated values. Since this behavior of objects raises many unsolved questions, I focus my work on dealing with JavaScript objects in a static typesytem.
Some other aspects of JavaScript that are of interest: exceptions, labeled statements, first class functions, etc.
| Address | Dipl. Inf. Phillip Heidegger Universität Freiburg Institut für Informatik Georges-Köhler-Allee 079 79110 Freiburg i. Br. Germany |
| Room | 00-014, building 079 |
| Phone | +49 761 203 8050 |
| Fax | +49 761 203 8052 |
| PGP | My public key. |