My name is Cheng Liao. I am a PhD student in the Department of Philosophy at University of Notre Dame. Prior to this, I completed my BA in philosophy at Peking University and my MS in logic (Cum Laude) at Institute for Logic, Language and Computation.

Here is the link for my master thesis (supervisor: Nick Bezhanishvili).

Now, I'm interested in model theory and non-classical logics:

in model theory, I am particularly interested in stability theory and its current development where researchers study first-order theories with nice properties (e.g. NSOP, NIP). I also keep an eye on abstract model theory (e.g. Lindström theorem for logics);
in non-classical logics, I am especially interested in their model-theoretic and algebraic aspects, like Zakharyaschev’s canonical formulas and their dual (algebraic) description, the Sahlqvist Completeness Theorem and so on.

Don't just read it, fight it! Ask your own question, look for your example, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case? What about the degenerate case? Where does the proof use the hypothesis?

--- Paul Halmos