About
I am a Schmidt Science Fellow (postdoctoral) in Dr. Barak Hirshberg's group at the School of Chemistry, Tel Aviv University, working primarily on path integral molecular dynamics simulations. I did my PhD in computer science as part of the Programming Languages group at Tel Aviv University, advised by Prof. Mooly Sagiv and Prof. Sharon Shoham.

My research interests include molecular dynamics simulations, path integral molecular dynamics, quantum dynamics, electronic structure, and quantum materials; also program analysis and verification, formal logic, and the correctness of concurrent data structures.

My PhD thesis was about a theoretical understanding of how invariant inference algorithms operate, and how (unexpectedly) this has a lot to do with machine learning theory. It was recognized with the 2024 ETAPS Doctoral Dissertation Award [slides] [earlier video from the Simons institute].
My MSc thesis proved the surprising strength of simple quantifier instantiation schemes for automatic deductive verification of quantified invariants in first-order logic.
Publications
Computational Chemistry
  • Periodic Boundary Conditions for Bosonic Path Integral Molecular Dynamics
    Jacob Higer*, Yotam M. Y. Feldman*, and Barak Hirshberg.
    In submission. [draft]
  • Defect Positioning in Combinatorial Metamaterials
    Chaviva Sirote-Katz, Yotam M. Y. Feldman, Guy Cohen, Tamás Kálmán, and Yair Shokef.
    In submission. [draft]
  • i-PI 3.0: a flexible and efficient framework for advanced atomistic simulations
    Yair Litman, Venkat Kapil, Yotam M. Y. Feldman, Davide Tisi, Tomislav Begušić, Karen Fidanyan, Guillaume Fraux, Jacob Higer, Matthias Kellner, Tao E. Li, Eszter S. Pós, Elia Stocco, George Trenins, Barak Hirshberg, Mariana Rossi, and Michele Ceriotti.
    J. Chem. Phys. 2024 [paper]
  • Quadratic Scaling Bosonic Path Integral Molecular Dynamics
    Yotam M. Y. Feldman and Barak Hirshberg.
    J. Chem. Phys. 2023 Editor’s Pick [paper] [slides] [video]
    J. Chem. Phys. Best Paper by an Emerging Investigator 2023 (announcement).
Computer Science
  • mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic (Tool Paper)
    James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, and Sharon Shoham.
    CAV 2024 [paper]
  • SAT-Based Invariant Inference and Its Relation to Concept Learning (Invited Paper)
    Yotam M. Y. Feldman and Sharon Shoham.
    RP 2022 [paper]
  • Invariant Inference With Provable Complexity From the Monotone Theory
    Yotam M. Y. Feldman and Sharon Shoham.
    SAS 2022 [paper] [slides] [video]
  • Property-Directed Reachability as Abstract Interpretation in the Monotone Theory
    Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, and James R. Wilcox.
    POPL 2022 [paper] [slides] [video] [longer video]
  • Learning the Boundary of Inductive Invariants
    Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, and James R. Wilcox.
    POPL 2021 [paper] [slides] [video]
  • The Wonderful Wizard of LoC: Paying attention to the man behind the curtain of line-of-code metrics
    Kalev Alpernas, Yotam M. Y. Feldman, and Hila Peleg.
    Onward! Essays 2020 [paper] [video]
  • Proving Highly-Concurrent Traversals Correct
    Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham.
    OOPSLA 2020 [paper] [slides] [video]
  • Complexity and Information in Invariant Inference
    Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, and Sharon Shoham.
    POPL 2020 [paper] [slides] [video]
  • Inferring Inductive Invariants from Phase Structures
    Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, and Mooly Sagiv.
    CAV 2019 [paper] [slides] [video]
  • Order out of Chaos: Proving Linearizability Using Local Views
    Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, and Sharon Shoham.
    DISC 2018 [paper] [slides]
  • Bounded Quantifier Instantiation for Checking Inductive Invariants
    Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, and Sharon Shoham.
    TACAS 2017, LMCS 2019 [paper] [paper (conference)] [slides]
  • Property Directed Reachability for Proving Absence of Concurrent Modification Errors
    Asya Frumkin, Yotam M. Y. Feldman, Ondřej Lhoták, Oded Padon, Mooly Sagiv, and Sharon Shoham.
    VMCAI 2017 [paper]
Photo credit: Adrian Travis