<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">Dear all,</div><div class=""><br class=""></div><div class="">I am a new faculty member at Binghamton University, looking for PhD students (starting in Spring 2023 or Fall 2023) to work on formal verification, analysis, and/or synthesis.</div><div class=""><br class=""></div><div class="">A common aim of my work is to ease the process of verifying programs, either by improving the debugging experience when verification fails, or by automating the verification process. Much of my work revolves around functional languages, with a particular focus on debugging and verifying Haskell programs. I am also interested in verification and synthesis of systems in domains such as networking and machine learning. You can find more information about me on my website:</div><div class=""><a href="https://billhallahan.github.io" class="">https://billhallahan.github.io</a></div><div class=""><br class=""></div><div class="">Please reach out if you are interested or if you have any questions.</div><div class=""><br class=""></div><div class="">Best,</div><div class="">William Hallahan</div></body></html>