Tomasz Truderung, Institute of Computer Science, Wroclaw Uniwersity, Poland
Contact info

Tomasz Truderung
Welcome to my home page

Research interests

Formal verification of cryptographic protocols.
Logic in computer science, automata theory, games.