Abhishek Murthy is a Member Research Staff in the Lighting Solutions and Services department of Philips Research North America. He works on modeling and analysis of lighting-related cyber-physical systems for smart cities. Abhishek received his PhD in 2014 from Stony Brook University's Computer Science department, where he worked on an automated framework for computing compositional proofs of Input-to-Output stability of feedback-based dynamical systems.
