I am a principal research scientist at the Laboratory for Information and Decision Systems (LIDS) at MIT. My main interests are in control theory, distributed control systems, cyber-physical systems, economics of power systems, and dynamic resource allocation in heterogeneous energy networks. My other interests include software verification, finite-state system approximation, finite-state control synthesis, and analog-to-digital conversion.