Tin Lok Wong

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

I am a postdoctoral researcher at the Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Austria. My appointment is funded by the Austrian Science Fund (FWF) through Professor Sy Friedman's research project P24654‑N25.

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

Before coming to Vienna, I held postdoctoral positions 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 94. My postal address is: Kurt Gödel Research Center for Mathematical Logic, Währinger Straße 25, 1090 Vienna, Austria.

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