Prof. Dr. Thomas Wilke

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

• Formal Methods in System Design
• Fundamenta Informaticae
• Lecture Notes in Logic

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 2012 (co-chair)
• ICALP 2012
• STACS 2013 (co-chair)

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.