Laboratory of Mathematical Logic
at
PDMI
Staff
Teaching/Seminars
Activities
Hilbert's 10th Problem
Gallery
Contacts
Search
Search this site:
Home
Alexander Knop
Mon, 2013-12-02 19:20 — smal
Personal data
Interests:
proof complexity, structural complexity, algorithms, cryptography
Homepage:
http://logic.pdmi.ras.ru/~knop
Photo:
Former