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)