Tin Lok Wong

I am more commonly known as Lawrence in English-speaking communities.

I am a postdoctoral researcher, holding the position of adiunkt (assistant professor), at the Institute of Mathematics of the Polish Academy of Sciences (IMPAN) in Warsaw, Poland.

My research mainly lies in mathematical logic and, more specifically, in the model theory of arithmetic. I have been investigating model-theoretic properties of cuts and of theories in reverse mathematics.

Before coming to Warsaw, I held postdoctoral positions at the University of Vienna, Austria, at Ghent University, Belgium, and at the National University of Singapore. I obtained my PhD degree at the University of Birmingham, UK. My thesis supervisor was Dr. Richard Kaye.

The easiest and quickest way to contact me is usually via e-mail: . My office is in Room 424. My postal address is: Institute of Mathematics of the Polish Academy of Sciences, ul. Śniadeckich 8, 00-656 Warsaw, Poland.

This website contains information about my papers, talks, teaching, and non-academic interests.