Dr. James Bornholt received his bachelor of philosophy in computer science at the Australian National University in 2013. He went on to continue his studies at the University of Washington, receiving a master’s, and most recently, a doctorate in computer science and engineering in 2019. His thesis was on program synthesis, which makes programmers radically more productive by automatically writing programs given a description of their behavior. He developed new ways for programmers to understand the behavior of these tools and to build their own, and these techniques have been the foundation of a number of academic and industrial projects. Prior to joining Texas Computer Science, Dr. Bornholt worked as an applied scientist at Amazon.