Işil Dillig, an assistant professor in the Department of Computer Science, has received the Faculty Early Career Development (CAREER) award from the National Science Foundation. The CAREER awards are intended to recognize promising young faculty and support their research with five years of funding. Dillig will use her $227,705 award to study better ways to verify that computer software is free from defects, using abductive reasoning to automate the process as much as possible while allowing verification of many types of software. One of the project’s goals is the ability to find software bugs that are so subtle or hidden that they cannot be identified by current testing technology.