ITU
Carsten Schürmann

Carsten Schürmann

Full Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C13

Phone: +45 72185282

Information Desk: 72185000

View graph of relations

  1. Book
  2. Published

    Certification of ICTs in Elections

    Schürmann, C., Barrat, J., Bolo, E., Bravo, A., Krimmer, R., Neumann, S., Acong Parreno, A., Volkamer, M. & Wolf, P., 2015, Stockholm: International IDEA. 76 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearch

  3. Report
  4. Published

    Voter Perceptions of Trust in Risk-Limiting Audits (Extended)

    Dalela, A., Kulyk, O. & Schürmann, C., 2021

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  5. Published

    Linear contextual modal type theory

    Schack-Nielsen, A. & Schürmann, C., 2011, IT-Universitetet i København. 6 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  6. Published

    The lambda sigma calculus and strong normalization

    Schack-Nielsen, A. & Schürmann, C., 2011, IT-Universitetet i København. 13 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  7. Published

    Measuring Voter Lines

    Schürmann, C. & Wang, J., Nov 2015, 26 p. (ITU Technical Report Series; No. TR-2015-191).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  8. Published

    Mode Checking in the Concurrent Logical Framework

    Schürmann, C., Sacchini, J., Pfenning, F. & Cervesato, I., 2014, (Technical Report Carnegie Mellon University).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

ID: 263621