I am a PhD student in the School of Computer Science at Tel Aviv University, under the supervision of Prof. Ori Lahav. I hold an MSc from the Faculty of Mathematics at Technion - Israel Institute of Technology, supervised by Prof. Michael Kaminski.
My research focuses on concurrency and relaxed memory models, using formal methods from programming languages and verification. I am also interested in proof theory and the semantics of non-classical logics.
The [pdf] links include pre-copy-editing self-produced PDFs.