Irina Shoshmina

Peter the Great St. Petersburg Polytechnic University

Assistant Professor of Peter the Great St-Petersburg State Polytecnic University. Her research interests are modeling embedded logic control systems, formal verification of distributed systems and algorithms, formal specification of embedded logic control systems, previous interests: architecture of distributed computing systems (grid-systems).