Services

  1. HSCC'19 (RE PC Member): International Conference on Hybrid Systems: Computation and Control

  2. ICCPS'17 (Subreviewer): International Conference on Cyber-Physical Systems

  3. FSTTCS'17 (Subreviewer): IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science