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.