I am postdoctoral fellow in the mathematics department at the Hebrew University of Jerusalem, under the supervision of Prof. Saharon Shelah.

I did my Ph.D. student at the mathematics department at the Hebrew University of Jerusalem, under the supervision of Prof. Ehud Hrushovski. I received my M.Sc. in mathematics from the Hebrew University of Jerusalem, working on Algebraic Semigroups under the supervision of Prof. Yakov Varshavski.

I'm specifically interested in Model Theory and its connections with Algebra and Algebraic Geometry.

For a .pdf version of my CV, click here.

### Contact information

**Yatir Halevi**

Einstein Institute of Mathematics

Edmond J. Safra Campus, Givat Ram

The Hebrew University of Jerusalem

Jerusalem, 91904, Israel.

**Office: **Ross 29.

**Email: ** $\mathtt{yatir}.\mathtt{halevi}@\mathtt{mail}{.}\mathtt{huji}{.}\mathtt{ac}{.}\mathtt{il}$

## Research

I am mainly interested in Model Theory and its connections to other parts of mathematics, especially Algebra and Geometry.

Publications and preprints:

*Dp-rank of 1-Based Groups*, with Daniel Palacin.
*Eliminating Field Quantifiers in Strongly Dependent Henselian Fields*, with Assaf Hasson, submitted.
arXiv:1707.03188
*Strongly Dependent Ordered Abelian Groups and Henselian Fields*, with Assaf Hasson, submitted.
arXiv:1706.03376
*On Stably Pointed Varieties and Generically Stable Groups in ACVF*, submitted.
arXiv:1611:05422
*Semigroups in Stable Structures* *Notre Dame Journal of Formal Logic*, 2016. accepted.
arXiv:1509.02275
*$\infty$-definable Subsemigroups of $M_2(\mathbb{C})$*. arXiv:1607.03603

## Teaching:

I have had the pleasure of TA-ing in the following courses:

- Fall 2011 - Linear Algebra I
- Spring 2012 - Linear Algebra II
- Spring 2013 - Linear Algebra II
- Fall 2013 - Mathematics for Science Students I
- Spring 2014 - Mathematics for Science Students II
- Fall 2014 - Mathematical Logic I
- Spring 2015 - Linear Algebra II
- Fall 2015 - Mathematical Logic I
- Spring 2016 - Algebraic Structures II
- Fall 2016 - Mathematical Logic I