Search Bowers

What is your academic focus? My research covers two main areas. One broad area is formal verification, where the goal is to prove that software behaves the way it is supposed to. In this direction, I have recently been exploring ways of using AI to help develop proofs about software. Human-centered design of software engineering tools is my other big area of...