My name is Jana Hofmann and I'm curently working on my Bachelor's thesis at the Programming Systems Lab.
