Research Interests Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing (see also Publications, Students & Co-authors) Projects Logosphere A Formal Digital Library Triple Type Refinement in Programming Languages ConCert Language Technology for Trustless Software Dissemination Twelf Logical and Meta-Logical Frameworks SeLF Distributed System Security via Logical Frameworks Manifest Security Logics and Languages for Manifestly Secure Systems Prospero Integrating Types and Specifications
Gerd Stumme is Full Professor of Computer Science. He is leading the Hertie Chair on Knowledge and Data Engineering at the University of Kassel, and full member of the Research Center L3S. Gerd Stumme earned his PhD in 1997 at Darmstadt University of Technology, and his Habilitation at the Institute AIFB of the University of Karlsruhe in 2002. In 1999/2000 he was Visiting Professor at the University of Clermont-Ferrand, France, and Substitute Professor for Machine Learning and Knowledge Discovery at the University of Magdeburg in 2003. Gerd Stumme published over 80 articles at national and international conferences and in journals, and chaired several workshops and conferences. He is member in the Editorial Boards of the Intl. Journal on Data Warehousing and Mining and of the International Conference on Conceptual Structures, and was also member of several conference and workshop Program Committees. Gerd Stumme is leading and led several national and European projects. The research group is running the social bookmark and publication sharing system BibSonomy.