Avatar


Wang Chi Leung

PhD Student

Wean Hall 8205, Carnegie Mellon University

wangchil@andrew.cmu.edu

4123308564

LinkedIn


Research Interest

Model Theory


Links

Department of Mathematical Sciences

Pure and Applied Logic Program

Model Theory Wiki

Map of the Universe




Education

Ph.D. in Mathematical Sciences, Carnegie Mellon University
August 2018 - Present
Advisor: Rami Grossberg

One-year Exchange Program, University of Toronto
2014 - 2015

Bachelor of Science, The Chinese University of Hong Kong
2012 - 2017

Major: Mathematics

Minor: French and German



Talks

1.    Model Theory Seminar: Superstable Fields and Groups
March 30, April 6, 2020

Abstract  Slides

2.    Model Theory Seminar: Tameness and good λ-frames
October 1, 8, 15, 2020

Abstract  Recording I (ND5thQ8.) Recording II (aP78H&*P)  Recording III (@jwtA2Qz)

3.    GSTMT Seminar: Many uncountable models with a linear order
October 16, 2020

Section 5.3 of David Marker's Book

4.    GSTMT Seminar: Some descriptive set theory in model theory
November 20, 2020

Morley's (1970) The Number of Countable Models

5.    GSTMT Seminar: Cube problem for linear orders
March 16, 23, 2021

Garrett Ervin's first and second paper



Working Experience

Teaching Assistant - 21127 Concepts of Mathematics
Summer II 2021

Teaching Assistant - 21259 Calculus in Three Dimensions
Summer I 2021

Lead Teaching Assistant - 21122 Integration and Approximation
Spring 2021

Substitute instructor for 2 weeks
Evaluation


Lead Teaching Assistant - 21259 Calculus in Three Dimensions
Fall 2020

My TA survey was not deployed that semester. Here is some message that I hold dear.


Grader - 21259 Calculus in Three Dimensions
Summer 2020

Review sessions were held every week during the semester.


Lead Teaching Assistant - 21259 Calculus in Three Dimensions
Spring 2020

Evaluation


Lead Teaching Assistant - 21259 Calculus in Three Dimensions
Fall 2019

Evaluation


Grader - 21300 Basic Logic
Summer 2019

Teaching Assistant - 21241 Matrices and Linear Transformations
Spring 2019

Evaluation


Grader - 21127 Concepts of Mathematics
Fall 2018

Private Tutor
2017 - 2018