Home
For Prospective Students
Contact Us
Find us
Search
DemTech
Trustworthy Democratic Technology
Main Menu
DemTech Overview
Research Projects
Research Staff
Carsten Schürmann
In the Press
Publications
PhD Courses
Funding
Our Partners
Home
Research Staff
Carsten Schürmann
Carsten Schürmann
Research Interests
Logic in computer science, logical frameworks, type theory, theorem proving, computational logic, functional programming languages, logic programming languages. Electronic voting, democracy, security, cryptography.
Projects
DemTech Project
Celf Project
Logosphere Project
Delphin Project
Twelf Project
Teaching
Fall 2011: Foundations of Computing. Discrete Mathematics
Fall 2010: Introduction to Database Systems
Fall 2009: Introduction to Database Systems
Conferences
ICALP 2012 Track B, PC member
KI-11, Berlin, Germany, 2011
, PC member
CADE-23, Wroclaw, Poland 2011
, PC member, publicity chair
MLPA-11, Nijmegen
, PC member, organizer
Journals
ASL Reviews,
Editor
Journal of Applied Logic
, Editor
Journal of Algorithms in Cognition, Informatics, and Logic
, Editor
Recent Drafts, Talks, Publications
under construction
Copyright © 2010 Carsten Schürmann.
All Rights Reserved.
Research Staff Carsten Schürmann
Research Staff Carsten Schürmann
Research Staff Carsten Schürmann
