Prof. Dr. Thomas Wilke

Prof. Dr. Thomas Wilke

Funktion function Leiter der Arbeitsgruppe head of group
Telefon phone +49 (0)431 880 7511
Fax +49 (0)431 880 7614
E-Mail wilke@ti.informatik.uni-kiel.de
PGP/GPG Key C5F0:FC49:53DD:D453:8FA3:22DB:554C:A95E:1043:07E7
Dienstzimmer office CAP4, 1013
Sprechzeiten office hours Terminvergabe über die OLAT-Instanz an der CAU

Table of Contents

  1. research interests
  2. professional activities
  3. publications

Research Interests

I am interested in cryptography, especially cryptographic protocols, automata
theory, mathematical logic, verification, and computer science education. Within these fields my research
focusses on

  • design, specification, and analysis of cryptographic protocols,
  • automatic verification, especially model checking,
  • expressiveness and algorithmic properties of specification logics,
    especially linear temporal logic,
  • algebraic and logical treatment of formal languages,
  • algorithmic treatment of (finite) automata,
  • open educational resources.

Professional Activities

Currently, I am member of the editorial boards of

and I encourage everyone to consider these journals and series for publishing his or her results in them. Please, don’t hesitate to contact me if you have any questions or doubts.

I have served on many program committees; recent and upcoming conferences and workshops I am on the PC include:

STACS 2013 will be held in KIEL!

I am an active member of the Gesellschaft für Informatik e.V. Until 2008, I was a member of Leitungsgremium der Fachgruppe Logik in der Informatik. Currenly, I am the acting speaker of Fachbereich Grundlagen der Informatik (FB GInf). I am on the Council of the EATCS (European Association for Theoretical Computer Science).

Publications

A simple way to get a good overview of my publications is to look at my entry at arnetminer, google scholar, or dblp.