Research, publications and a short bio

Research:

  • My current research focus Acumen, a language for modeling, simulation, and verification of cyber-physical systems.

Conference, Workshops, Summer Schools:

  • Cyber Physical Systems Modeling: CyPhy'12.
  • More information about older events can be found here.