Yotam Feldman

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

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

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

Publications

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)