David Holland

David worked for many years in Margo Seltzer's lab at Harvard and, after finally writing a dissertation on program synthesis, joined Galois in 2022. He also wrote the OS/161 instructional operating system, and in his remaining spare time is a NetBSD committer, where his primary concern is cleaning up code horrors that arise from non-local structural and design problems.