I am currently a PhD Student at the Department of Computer Science at the University of Fribourg , Switzerland. Further, I am working as a Software Engineer at LIIP (Swiss Moodle Partner). My current research interest are model-checking and allowed operations on Buchi Automata without alternation of its omega language. My interest lay in the domain of Theoretical Computer Science. The job as a Software Engineer makes my link to actual web technologies. As I am also very interested in the Web, this gives me the opportunity to follow the evolution of the Web from the inside. Asides from work my interests are astrology, everything related to Infinity and human- and world-history. Finally, I am interested in everything which has a scientific approach, and I am still able to follow. If you have any question feel free to contact me by E-Mail:
I am interested in meeting new people out there. So don't hesitate to contact me, either via E-Mail, Comments or join my network at LinkedIn.com.