- Associate Chair (since 2021)
- Personnel committee chair (2020-2021)
- Hiring committee chair (2019-2020)
- Editor, Journal of Logic and Analysis (since 2019)
- Moderator, CS Theory Stack Exchange (since 2018)
Watch this space for updates on logic courses.
The undergraduate course MATH 454 (Axiomatic Set Theory) was taught in Fall 2021. Textbook: Schimmerling’s “A course on set theory”
A similar course at the graduate level was MATH 654 Fall 2020, which had the following readings:
Math 654 in Fall 2022 will use the textbook by Ebbinghaus, Flum, and Thomas and some readings about Lean.
I was the discussant for the following paper at Hawaii Accounting Research Conference 2020 on the UH Hilo campus:
The Contract Disclosure Mandate and Earnings Management under External Scrutiny
by Carlos Corona and Tae-Wook Ryan Kim
I learned that research in the Theory Track of the accounting discipline primarily is about mathematical modeling of the effects of government policies and business decisions. It borrows methods from economics for such modeling. In the case of the Corona-Kim paper: quadratic programming without constraints, and exponential utility functions. Usually these are not empirical papers, i.e., they don’t test the model explicitly against data. Indeed this would be hard to do with notions like “intensity of scrutiny”.
I am a discussant for “A theory of principles-based classification” by Konvalinka, Penno, and Stecher, at HARC 2021.
This new 42,000 USD grant from the Simons Foundation will support travel and collaboration during 2020-2025.
Pictured: Angsheng Li announcing TAMC 2020 in Changsha, China during TAMC 2019 in Kitakyushu, Japan.