About Me
I am currently a PhD candidate in Ming Hsieh Department of Electrical and Computer Engineering at University of Southern California (USC) under the guidance of Professor Pierluigi Nuzzo. I received BSE degree in Electrical and Computer Engineering from Duke University in 2017 and MS degree in Electrical Engineering from USC in 2019.
I am interested in designing, analyzing, validating, and assessing safety and security of cyber-physical systems (CPSs), such as ground vehicles and airplanes, using assume-guarantee (A/G) contracts expressed in temporal logic specifications. My research interests include the design, analysis, validation, and assessment of the safety and security of complex CPSs using A/G contracts expressed in temporal logics.
News
December 2023- Our paper "Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project" is accepted as a Multi Partner Project (MPP) paper at the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024.
November 2023- Our paper “Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism" is accepted as a regular paper at the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024 (acceptance rate 25%). We received the Best paper award in E (Embedded Systems Design) track!
October 2023 - I passed my Ph.D. defense!
June 2023 - Our paper “Task Assignment, Scheduling and Motion Planning for Automated Warehouses for Million Product Workloads,” is accepted as a full paper at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023 (acceptance rate 43.3%).
May 2023 - Our paper “Computer-Aided Generation of Assurance Cases,” is accepted as a full paper at the 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR), 2023.
April 2023 - Our papers “AACE: Automated assurance case environment for aerospace certification,” and "Computer-aided evaluation for argument-based certification," are accepted at the 42nd AIAA/IEEE Digital Avionics Systems Conference (DASC), 2023. Both papers got the Best of Session award in their respective sessions!
November 2022 - Our paper “Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses” is accepted as a regular paper at the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023 (acceptance rate 25%).
November 2022 - I passed Ph.D. qualifying exam.
July 2022 - Our paper “Quantitative verification and design space exploration under uncertainty with parametric stochastic contracts” is accepted for publication at the 41st IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2022 (acceptance rate 22.5%).
July 2022 - I participated and assisted the organization of DAC-AS workshop as a part of Design Automation Conference (DAC) 2022.
April 2022 - Our paper “ARACHNE: Automated validation of assurance cases with stochastic contract networks,” the 41st International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2022 (acceptance rate 25.8%).
December 2019 - I passed Ph.D. screening exam.
November 2018 - Our paper “Optimizing assume-guarantee contracts for cyber-physical system design" is accepted for a long presentation paper at the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019 (acceptance rate 24%).
May 2018 - I joined Totota Infotechnology Center, Mountain View, CA as a summer graduate research intern.
August 2017 - I joined DesCyPhy group at University of Southern California.