Professional Activities

I am on the editorial board for the journal Logical Methods in Computer Science and review editor for the journal Frontiers in ICT (Speciality Area: Formal Methods).

Formal Modeling and Analysis of Timed Systems (FORMATS 2015) (joint with Prof. Enrico Vicario)

Hybrid Systems: Computation and Control (HSCC 2015) in Seattle, WA (joint with Prof. Antoine Girard).

• ADHS 2015, FSTTCS 2015 and HSCC 2016.

• VMCAI 2015, TACAS 2015 and CAV 2015.

• SAS 2014, APPROX 2014, SYNT 2014, VMCAI 2014, TACAS 2014, ARCH 2014, HSCC 2014

• NFM 2013, HSCC 2013

• SAS 2012, CAV 2012, HSCC 2012, VMCAI 2012

• LCPC 2011 , MACIS 2011 , APLAS’11, CAV 2011, VMCAI 2011

• NSAD 2010 , ICSE 2010 (NIER Track), HSCC 2010

• HSCC 2009.

Served as Co-Editor for the following journal special issues.

• ACM Transactions of Embedded Systems on Verification of Cyber Physical Software Vol. 11(S2) in 2012. Joint with Eric Goubault, Georgios Fainekos and Franjo Ivancic.

• Formal Methods in Systems Design: Special Issue on Numerical Software Verification, Vol. 35(3), 2009. Joint with Franjo Ivancic and Chao Wang.

I have been intermittently involved in organizing the Numerical Software Verification workshops since 2008. A list of all the NSV workshops so far:

• NSV 2014 co-organized with Vienna Summer of Logic 2014.

• NSV 2013 co-organized with CPSWeek 2013 in Philadelphia.

• NSV 2012 co-organized with CAV 2012 in Berkeley, CA.

• NSV 2011 co-organized with CAV 2011 in Snowbird, Utah.

• NSV 2010 co-organized with Federated Logic Conference in Edinburgh, Scotland.

• NSV 2009 co-organized with CPSWeek 2009 in San Francisco, CA.

• NSV 2008 co-organized with CAV 2008 in Princeton, NJ.