Arbeitsgruppe Theoretische Informatik

Prof. Dr. Thomas Wilke

Leiter der Arbeitsgruppe

Christian-Albrechts-Platz 4, R. 1013 (CAP 4)
Telefon: +49 431 880-7511
Telefax: +49 431 880-7614
thomas.wilke@email.uni-kiel.de

Public key

Sprechzeiten – Terminvergabe

Personal Homepage

Dipl.-Math. Sebastian Eggert

Wissenschaftler

Research Interests

  • Noninterference
  • Cryptographic Protocols

Dr. Henning Schnoor

wiss. Mitarbeiter

Christian-Albrechts-Platz 4, R. 1215 (CAP 4)
Telefon: +49 431 880-4467
Telefax: +49 431 880-7617
hs@informatik.uni-kiel.de

Homepage

Public key

Research Interests

  • Cryptographic Protocols
  • Logics for Multi-Agent Systems
  • Information-Flow Security
  • Modal Logic
  • Complexity Theory
  • Complexity of Satisfiability Problems
  • Computational Social Choice

OStr. Sönke Schulmeister

Research Interests

  • Fachdidaktik Informatik

Dr. rer. nat. Lars Willert

Gastwissenschaftler

Research Interests

  • Fachdidaktik der Informatik