Heather Conboy

Heather Conboy Photo
Position: 
Postdoctoral Research Associate
Office: 
314 CS Building
Phone: 
(413) 545-2146

Interests

Software engineering research, in particular requirements engineering, program analysis, and real-time monitoring/guidance.

Research

Investigating the development and application of software engineering techniques to improve systems involving complex aspects such a concurrency, synchronization, and exceptional situations (e.g., concurrent Java programs, medical procedures). Formally defining such systems and then applying static program analyses (e.g., model checking) to the system definitions to help prevent defects, vulnerabilities, or inefficiencies in the systems. Recently investigating how to use the analyzed system definitions to support real-time monitoring and guidance for the human performers (e.g., medical professionals) to help achieve the desired system outcomes. For evaluation purposes, collaborating with technical and non-technical stakeholders to put together real-world case studies and to apply such techniques to them.

Biography

PhD, Computer Science, University of Massachusetts Amherst (2017)

Activities & Awards

Volunteering to mentor undergraduate students in computer science research through the REU (Research Experiences for Undergraduates) program as well as the University of Massachusetts Amherst Honors program.