Education:
Research Interests: My current research interests are in the security and verification of learning-enabled cyber-physical systems as well as embedded systems that are widely used in critical infrastructures such as medical devices and industrial control systems.
Recent Publications:
Other Publications: