Currently at the University of Kaiserslautern, where I work on parallelizing a computer algebra system. My work focuses primarily on concurrency and programming languages.