My academic profile

This blog is intended to present my professional endeavors. Since I started off in academia, this first post is dedicated to my previous profile (which used to be reachable at academia.helgavelroyen.de) which sums up my academic works:

  • Diploma Thesis “Automatic Non-termination Analysis of Imperative Programs”, RWTH Aachen 2007: pdf
  • Diploma Thesis “Automatic Non-termination Analysis of Imperative Programs”, Chalmers Technical University, Sweden: pdf (This version differs from the one above only in the layout.)
  • Collection of programs which I examined in my thesis: tar.gz
  • Paper “Non-Termination Checking for Imperative Programs”: available here.
  • Software: here

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.