Tomasz Truderung, Institute of Computer Science, Wroclaw Uniwersity, Poland
Kontakt

Tomasz Truderung
Witam na mojej stronie

Zainteresowania naukowe

Weryfikacja protokołów kryptograficznych [co to jest?].
Logika w informatyce, teoria automatów, gry.