Jakub Kotowski    (JAJ)

 University of Munich, Germany    (14TU)

My interest is in knowledge representation and automated reasoning and in artificial intelligence in general. I have a PhD in computer science from University of Munich. In my thesis Constructive Reasoning for Semantic Wikis, I developed for example several algorithms for incremental updates of views in deductive databases and a more expressive "tagging formalism". Part of the work was realized as part of the european Project KIWI (which developed an advanced semantic wiki, resp. a semantic software platform).    (14TV)