Email:	[email protected]
Mail:	110 8th Street Lally Building 309 Troy, NY 12180
Office:	Lally Bulding 309

Biography

I am an assistant professor in the Computer Science department at Rensselaer Polytechnic Institute. Prior to that, I was a postdoctoral fellow at the University of Pennsylvania, where I worked with Dr. George Pappas and Dr. Rajeev Alur.

I received the B.A. degree with a double major in Computer Science and Mathematical Economics from Colgate University in 2011. I defended my PhD dissertation in 2017 at the University of Pennsylvania under the supervision of Dr. Insup Lee and Dr. James Weimer.

Research Interests

My research lies broadly in the field of safe and secure autonomy. The natural application domains of my work are safety-critical cyber-physical systems (CPS) such as automotive and medical CPS. I work both on design-time and run-time approaches to analyze the safety of these systems. My contributions include a verification technique for autonomous systems with neural network components (check out our tool Verisig!) as well as resilient and parameter-invariant detection techniques for sensor attacks and other unsafe events (e.g., oxygen desaturation).

The fields relevant to my research are cyber-physical systems, formal methods, machine learning, control theory and sensor fusion.

News

• I received an NSF award on the topic of neuro-symbolic perception for state estimation and control of cyber-physical systems (collaboration with Ivan Ruchkin, University of Florida)
• I gave an invited talk at the University of Southern California Cyber-Physical Systems Seminar, on the topic of safe and secure autonomy, Feb. 2024.
• I served as the co-chair of the artifact evaluation committee of ICCPS 2024.
• Our paper "Verifying the Safety of Autonomous Systems with Neural Network Controllers" won the best paper award at the ACM Transactions on Embedded Computing Systems for the period 2019-20!
• I served as the co-chair of the artifact evaluation committee of ICCPS 2023.

Public Service

• NSF Reviewer
  2024-25
• Repeatability Evaluation Committee Co-Chair
  ICCPS 2023-25
• PC Co-Chair
  15th Workshop on Numerical Software Verification, co-located with FLoC 2022
• TPC Member
  L4DC (2022-23, 2025), ICCPS (2020, 2022-24), AAAI (2024), CoRL (2020-24), ICAA (2024), DAC (2020-22)
• Covid-19 Research and Academic Safety Reporting Committee
  The committee handles reports of Covid-19-related issues or concerns at UPenn.