Yotam’s PhD research in program analysis focused on the principles behind the success of modern verification algorithms. As a Fellow, Yotam is pivoting from computer science to computational chemistry to develop analysis techniques that will transform our understanding of chemical systems to aid new drug and materials design.