About

I work in the general area of high assurance computing systems (i.e., system failures can cause injury or loss of life, property damage, financial loss, etc.), including formal methods for software engineering, model-driven engineering, software engineering and assurance for autonomous systems, assurance for learning-enabled systems (i.e., systems with machine learning and AI), harnessing evolutionary computation for search-based software engineering, and automotive cybersecurity.

Teaching

Recent Notables

  • 10 year Most Influential Paper Award, “RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems,” (Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, Jean-Michel Bruel), Proceedings of 17th IEEE International Requirements Engineering Conference (RE09), pp. 79–88, September 2009, Atlanta, Georgia.
  • 10 year Most Influential Paper Award, “A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty” (Betty H.C. Cheng, Pete Sawyer, Nelly Bencomo, Jon Whittle), in the Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), pp. 468–483, Denver, Colorado, 2009.
  • 10 year Most Influential Paper Award, Runner up: "Model-Based Development of Dynamically Adaptive Software'' (Ji Zhang and Betty H.C. Cheng), in Proceedings of IEEE International Conference on Software Engineering (ICSE06), Shanghai, China, May 2006. (9% acceptance rate) (Received Distinguished Paper Award), pp. 371-380.

Recent Keynotes and Invited Presentations

  • “A Multi-Disciplinary Approach to Addressing Uncertainty for High-Assurance Self-Adaptive Systems,” Invited presentation for Assurance of Autonomy for Robotic Space Missions workshop at 7th International Conference on Space Missions Challenges for Information Technology (SMC-IT), Pasadena, California, July 2019.
  • “A Socio-technical Approach to Automotive Security: Computer Science and Engineering meets Criminal Justice,” 2019 Michigan Transportation and Planning Association Conference, Lansing, Michigan, July 2019.
  • “A Requirements-Driven and Context-Aware Approach to Assurance of Autonomous Systems” Keynote for Joint workshops for IEEE International Conference on Autonomic Computing (ICAC) and Self Adaptive Self-Organizing, Self-protecting Systems (SPS), 1st Work- shop on Evaluations and Measurements in Self-Aware Computing Systems (EMSAC?19), 3rd Workshop on Self-Aware Computing (SeAC 2019), June 2019, Umea, Sweden.
  • “A Multidisciplinary Approach to Requirements-based Adaptive Testing of Autonomous Systems” Keynote for 6th International Workshop on Requirements Engineering and Testing, co-located with 41st IEEE International Conference on Software Engineering (ICSE), May 25 - 31, 2019. Montreal, QC, Canada.
  • “A Multidisciplinary Approach to Developing Community-Based Research Infrastructure” Keynote for Second International Workshop on Establishing a Community-Wide Infrastruc- ture for Architecture-Based Software Engineering (ECASE’19), co-located with The 41st IEEE International Conference on Software Engineering, May 25 - 31, 2019. Montreal, QC, Canada.
  • “Requirements Engineering for High Assurance Autonomous Systems in the Face of Uncertainty: A Multidisciplinary Perspective,” Opening Keynote for IEEE 25th Inter- national Requirements Engineering Conference (RE), held in Lisbon, Portugal, September 2017.
  • "Addressing Assurance for Self-Adaptive Systems in the Face of Uncertainty,” Invited Keynote for 13th IEEE International Conference on Autonomic Computing (ICAC 2016), Wuerzburg, Germany, July 2016.
  • “Dealing with Uncertainty for High-Assurance Self-Adaptive Systems,” Invited Keynote for IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016, Chicago, Illinois, April 2016.

Current Affiliations and Professional Activities