User:Markus Krötzsch

As of 2017, I am professor for Knowledge-Based Systems at the Faculty of Computer Science at TU Dresden. Important projects I have contributed to include Wikidata, and of course Semantic MediaWiki (see semantic-mediawiki.org), which I started back in 2005 and to which many people since have contributed. For current information, see my homepage http://korrekt.org.

• Homepage of Markus Krötzsch
• Homepage at TU Dresden
• Personal information and contact data
• Wikidata item about me
• my user page on Wikidata
• Publications

Please do not use this page or its talk page to contact me, since I will not see this. Try sending an email instead.

Historic editing notes (unchanged since around 2005)

Currently, I am most concerned with mathematical topics (very specific, isn't it? ;-). The whole subset of articles in this area evolves very well, but there are still huge amounts of knowledge to be added. The problem is, of course, that one needs to address different levels of background knowledge. So in an ideal world, every math article should have a readable intro (with some intuition) and an easy to find section "Formal defnition", followed by interesting stuff of increasing difficulty. The WikiProject Mathematics compiles some good proposals on how to approximate this goal. Many articles will be happy about any extension, but bigger ones are sometimes rather lacking readability and an easy to follow structure. I also constantly complain about the absence of literature references in articles that state nontrivial results without a proof.

My current TODO (if any) is order theory, which really has increased quite a bit. Domain theory will be extended as soon as the important basic notions of order theory are available.

The following list may be of interest when you are looking for someone to complain about the contents of a particular article -- if its name appears on the list I will be happy to find your comments on my talk page. Some of my more relevant contributions include (in no particular order):

• Proof theory, which still needs quite some improvements to be acceptable. Any volunteers? Sequent calculus* and the related links are probably my main contribution in this area. Note: I am not watching this page, so feel free to drop me a line if the state changes...
• Category theory, where I restructured part of the material and updated some of the related pages like limit (category theory), adjoint functor, equivalence of categories*.
• Order theory**: lattice*, domain theory**, order theory glossary*, Heyting algebra, Galois connection, limit preserving (order theory)*, monotonic function, completeness (order theory)*, specialization order*, complete partial order*, duality (order theory)*, Boolean algebra, distributivity (order theory)*, upper bound, supremum, infimum, partially ordered set*, preorder, complete Heyting algebra*, greatest element*, maximal element*, compact element*, list of order topics, bounded complete*, Scott domain*, order isomorphism, interval (mathematics), semilattice*, order embedding*, Hasse diagram, Boolean prime ideal theorem, distributive lattice*, complete lattice*.
• Stone duality**.
• Other: Ultrametric space*, Stone-Weierstrass theorem, Tesseract.

The number of * indicates the amount of contribution found in each article (usually this means that I completely (re-)wrote the article and that it is not a stub now...). The main purpose of this is to motivate me for extending articles further even when they are already listed ;-)

Other non-mathematical articles I edited are:

• Open access
• Hamster
• Fox squirrel (image:squirrel_on_fence.jpg)
• Cashew
• Cuisine of Brazil (merged with Brazilian cuisine)
• ...