Carsten%20Sch%C3%BCrmann

= Carsten Schürmann =

Image(htdocs:img/carsten.jpg, width=200)

== 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
• [http://ki2011.de/ KI-11], Berlin, Germany, 2011, PC member
• [http://cade23.ii.uni.wroc.pl/ CADE-23], Wroclaw, Poland 2011, PC member, publicity chair
• [http://kwarc.info/frabe/events/mlpa-11/index.html MLPA-11], Nijmegen, PC member, organizer

== Journals ==

• [http://www.aslonline.org/journals-review.html ASL Reviews], Editor
• [http://www.elsevier.com/wps/find/journaldescription.cws_home/672712/description#description Journal of Applied Logic], Editor
• [http://www.elsevier.com/wps/find/journaldescription.cws_home/622851/description#description Journal of Algorithms in Cognition, Informatics, and Logic], Editor

== Teams ==

• Logical Foundations

== Recent Drafts, Talks, Publications ==

• [http://www.demtech.dk/chrome/site/talks/120510_board_meeting/Handout-Technical.pdf Narrowing the gap between law and software] (''10 May 2012'').
• [http://www.demtech.dk/chrome/site/talks/120510_board_meeting/Handout-Egypt.pdf Egypt] (''10 May 2012'').
• [http://dl.acm.org/citation.cfm?id=2001269.2001281 Modernizing the Danish democratic process] (''October 2011'').
• [https://docs.google.com/viewer?a=v&pid=explorer&chrome=true&srcid=0B36cuW5BGzNwYmQ2Mjc3MjEtNzQyOC00NDI2LThlOTYtODhlNTM1MWZmYzhh&hl=en The DemTech project] (''28 September 2011'')

== In the news == {{{#!div class=news_entry WikiInclude(På få uger vil de rette folk kunne knuse cpr-systemet) }}} {{{#!div class=news_entry WikiInclude(PROSA article on Electronic Elections) }}}