Michael Kohlhase http://kwarc.info/kohlhase Computer Science Jacobs University Bremen Germany
Florian Rabe http://kwarc.info/frabe Computer Science Jacobs University Bremen Germany