Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Thomas Wilke's Homepage
[go: Go Back, main page]

Thomas Wilke

Professor of Computer Science, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel

Contact Information

phone • fax • email • address • public key • Sprechzeiten

Research Interests

Automata and games, logic, automatic verification, cryptographic protocols, formal languages.

Publications

Ausgewählte Vorträge

Invited Talks and Tutorials

LPAR 2003, GAMES 2003, MFCS 2001, DLT 1999, STACS 1999.

Program Committees

FOSSACS 03, FSTTCS 03, CONCUR 03, ICALP 02, VIS 01, CSL 01, STACS 01, MFCS 99.

Short Bio

Lehrveranstaltungen

Vorlesungen • Seminare • Praktika

Diplomarbeiten und Diplomarbeitsthemen

Informationen zu mündlichen Prüfungen


Thomas Wilke
Last modified: Thu Mar 18 05:10:53 CET 2004