Dr. Yotam Feldman was awarded a Fulbright postdoctoral fellowship to pursue his research project titled “Taming Exponential Scaling in Computational Quantum Dynamics using SAT Solving and Model Checking.” The goal is to use new combinatorial optimization techniques to improve computational solutions to some of the most fundamental problems in quantum phenomena, with applications to electrochemistry and heterogenous catalysis.

Yotam did his PhD in computer science at Tel Aviv University, working with Professor Mooly Sagiv and Professor Sharon Shoham on program analysis and formal verification. His thesis (ETAPS Dissertation Award 2023) uncovered surprising theoretical connections between modern verification algorithms and machine learning theory. Yotam then switched to computational chemistry as a Schmidt Science Fellow (postdoctoral) working with Dr. Barak Hirshberg in the School of Chemistry at Tel Aviv University. There he worked primarily on algorithms for capturing quantum phenomena originating from bosonic exchange in path integral molecular dynamics simulations.

Selected publications:

Yotam M. Y. Feldman, Barak Hirshberg. “Quadratic Scaling Bosonic Path Integral Molecular Dynamics”. J. Chem. Phys. 159, 154107 (2023). J. Chem. Phys. Best Paper by an Emerging Investigator 2023.

Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, and James R. Wilcox. 2022. “Property-directed reachability as abstract interpretation in the monotone theory.” Proc. ACM Program. Lang. 6, POPL, (January 2022)

Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham. 2020. Proving highly-concurrent traversals correct. Proc. ACM Program. Lang. 4, OOPSLA, Article 128 (November 2020)