Yotam Feldman

yotamfe1 (at) mail (dot) tau (dot) ac (dot) il

I am a PhD student in the Programming Languages group at Tel Aviv University, advised by Prof. Mooly Sagiv and Dr. Sharon Shoham.

My research interests include program analysis, verification, formal logic, distributed systems, concurrent data structures, and the simulation of physical systems.


M.Sc. Thesis

Bounded Quantifier Instantiation for Checking Inductive Invariants [pdf]
Under the supervision of Prof. Mooly Sagiv and Dr. Sharon Shoham
Tel Aviv University (Submitted February 2017)