Professional Activities and Service

  • Program Committee Chair
    • Computer-Aided Verification Conference (CAV), (together with H. Veith), 2013.
    • Formal Methods in Computer-Aided Design (FMCAD), (together with R. Bloem), Lugano, Switzerland, 2010.
    • Symposium on Software Model Checking, CMU, Pittsburgh, USA, 2005.
    • FSE Workshop on Specification and Verification of Component-based Systems, Helsinki, Finland, 2004.
  • Program Committee member
    • ETAPS TACAS'16, '14, '13, '11 [International Conference on Tools and Algorithms for the Construction and Analysis of Systems]
    • CAV'15, '14, '13, '10 [International Conference on Computer-Aided Verification]
    • FMCAD'15, '14, '13, '12,' 11, '10, '08 [International Conference on Formal Methods in Computer-Aided Design]
    • FM'15 [International Conference on Formal Methods]
    • NFM'15 [International Conference NASA Formal Methods]
    • DATE'13, '12, '11 [International Conference on Design, Automation, and Test in Europe]
    • GandALF'12 [International Symposium on Games, Automata, Logics and Formal Verification]
    • VSSTE'12 [International Conference on Verified Software: Theories, Tools and Experiments]
    • MEMOCODE'11, '10 [International Conference on Formal Methods and Models for Codesign]
    • MBT'11, '10, '09 [ETAPS Workshop on Model-Based Testing]
    • SVARM'11, '10 [ETAPS Workshop on Synthesis, Verification, and Analysis of Rich Models]
    • CSR'09 [International Computer Science Symposium in Russia]
    • TAP'08 [International Conference on Tests and Proofs]
    • SPIN'08 [International SPIN Symposium on Software Model Checking]
    • SAVCBS'03 -'10 [FSE Workshop on Speci cation and Verification of Component-based Systems]
  • Organizing Committee member
    • AVW’06–present, Steering Committee Member [Alpine Verification Symposium]
    • FMCAD’07, Tutorial chair [Formal Methods in Computer-Aided Design Conference]
    • SAVCBS’03–’10, Steering Committee Member [FSE Workshop on Specification and Verification of Component-based Systems]
    • USI-CMU Summer School, ’06–’08, Director [USI-CMU Summer School on Dependable Computer Systems]
    • RAS CS Club, ’08, ’10, '12, '15 Organizer [Russian Academy of Science, Steklov Math Institute, Student Recruiting for USI (teaching and examination)]
  • Guest editor
    • Formal Methods in System Design Journal (Special Issue on Computer-Aided Verification), 2015.
    • IET Software Journal (Special Issue on Modeling and Analysis of Component-based Systems), 2008.
    • Formal Methods in System Design Journal (Special Issue on Software Verification), Vol. 25(2-3), 2005.
  • Invited Panelist, Verified Software: Theories, Tools, Experiments, working conference of IFIP (the International Federation for Information Processing), specifically TC2 (the IFIP committee on programming) and its Working Group 2.3 (Programming Methodology), ETH Zurich, October, 2005.