My Life, My Universe, My Everything

Today our company invited the department of Computer Science at the Technical University Vienna to present current research topics and results as well as to discuss possible collaborations. I am curious about the result of this event.
In a workshop Alexander Schatten discussed issues of Agile Development of businesses as well as software and he [...]

We had the first snow today. After leaving the house and walking for ten minutes I looked like a little snow man. (Un)fortunately, it did not stay. However, the forecast promises more snow and cold weather.
I went to a cafe/bar/restaurant called “Rochus” to try their breakfast. Frankly, I was not too impressed, nevertheless my stomach [...]

I have a mobile phone and a landline. Unfortunately, it costs more money to use my landline to call mobile phone numbers than using my mobile phone. However, for calls that might last a while I prefer using my landline. Thus I had to search for some cheap offers and I found some:
http://www.austriaphone.at/ offers a [...]

In October 2003 I helped my dad to set up a Raid system using SuSE 8.2. I wrote up my experiences and published it on my old website. I was very surprised but also happy to find out that it also helped others. A few days ago I received an email asking me for permission [...]

Yesterday we went to Linz on a departmental away day. There we visited the Ars Electronica center – a “museum of the future”.
This exhibition is a great playground. You are allowed to touch (almost) everything, to try everything out, to participate and to “change” the exhibition in that way. It was great. I was [...]

Everyone thinks of changing the world, but no one thinks of changing himself.
Leo Tolstoy (1828 – 1910)

Hello,
I created a few new pages detailing my previous research. They contain a short description of the research I conducted at the University of Kent as well as abstracts of my publications and PhD dissertation. In my research I was mainly concerned with Handling Inconsistency and Underdefinedness in Z Specifications using Paraconsistency and [...]