I am a member of the research group High Performance Erlang (HiPE). My main research interest is static analysis of dynamically typed programming languages. My research is the foundation of the tool Dialyzer that can be used for finding discrepancies (software defects) in code written in the language Erlang
Here is a list of my publications.
During 2006 I assist in the course Data Mining.