Mar 2024: Received UD Chapter Sigma Xi Early Career Award Recognition for Research.
Feb 2024: Awarded ODHE Third Frontier Innovation Initiatives Grant.
Jan 2024: Awarded Research Council Seed Grant.
Sep 2023: Paper published in ACM Transactions on Embedded Computing Systems.
Aug 2023: Paper accepted at IEEE MEMOCODE 2023.
May 2023: Paper published in IEEE Robotics and Automation Letters.
Mar 2023: Awarded NSF CRII Grant.
Feb 2023: Paper accepted at FORMALISE 2023 with Artifact Evaluation Badge; received UD Research Council Seed Grant and UD/UDRI Research Fellowship.
Jan 2023: Paper published in IEEE Transactions on Control of Network Systems.
Main developer of research tools including REAFFIRM (model-based repair for hybrid systems) and HyRG (random generation tool for affine hybrid automata).