Roman Kuznets

Roman Kuznets received a Ph.D. in Computer Science from the
Graduate Center of the City University of New York, USA. He worked
at the University of Bern in Switzerland and at TU Wien in Vienna,
Austria, where, among others, he led the project Reasoning about
Knowledge in Byzantine Distributed Systems (ByzDEL). He now works
at the Institute of Computer Science of the Czech Academy of
Sciences.