Home Courses Research Hobbies

My research interests

Many system development projects suffer from time and cost overruns because of incorrect or insufficient requirements. Software engineers need new tools and techniques to help analyze the complex requirements and preferences of multiple system stakeholders, propose system designs that can be formally proven to satisfy stakeholders’ needs as fully as possible, and explain these design choices in ways that all stakeholders can easily comprehend. My research responds to this need by integrating diverse formal methods into the practice of requirements engineering, which expands the scope of system requirements that can be formally verified and improves the accuracy with which system stakeholders’ true requirements and preferences can be modeled. This work combines my strong interest in formal specification and verification methods with my desire to advance the state of the art in the elicitation, modeling, and analysis of system requirements.

My current research focuses on the following objectives:

  1. Making it simpler to apply a diverse set of formal methods to specify and verify differing types of system requirements.
  2. Developing methods to more accurately model one stakeholder’s preferences and identify possible system designs that best satisfy these preferences.
  3. Exploring new ways to formally model and reason with multiple stakeholders’ preferences, using automated preference analysis to show points of disagreement and facilitate communication among stakeholders as they work toward a system design that is acceptable to all.

My publications

Home Courses Research Hobbies