Sergey Zhdanovskih
Serg-Norseman
Programmer, industrial automation engineer, genealogist, aquarist, cyclist, open source enthusiast
@Indusoft-ru Ivanovo, Russia
Peter Sturm
oxoo2a
University of Trier since 1997. Research and teaching areas are operating systems, middleware, distributed systems, computer networks, and games.
University of Trier Trier
Mate Soos
msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security
Berlin, Germany