Education

Ph.D. in Mathematics May 2018

The Graduate Center, The City University of New York

Dissertation Advisor: Joel David Hamkins

Dissertation: The Structure of Models of Second-order Set Theories

B.S. in Mathematics, Dec 2012

Boise State University (High Honors)

Minor in Computer Science

Publications

  • Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner, and Kameryn J. Williams, Set-theoretic blockchains, under review

  • Kameryn J. Williams, The Structure of Models of Second-order Set Theories, PhD Dissertation, The Graduate Center, CUNY (2018)

  • Kameryn J. Williams, Least models of second-order set theories, under review

  • Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, and Kameryn Williams, The exact strength of the class forcing theorem, under review

  • Joel David Hamkins, Philip Welch, and Kameryn J. Williams, The universal finite sequence for end extensions, in preparation

  • Jonas Reitz and Kameryn J. Williams, Iterating the mantle, in preparation

  • Joel David Hamkins, Russell Miller, and Kameryn J. Williams, Forcing as a computational process, in preparation

  • Kameryn J. Williams, Bi-interpretability of second-order set theories, in preparation

Teaching and Educational Experience

  • (2017–2018) Bronx Community College, CUNY. Quantitative reasoning fellow. In this interdisciplinary program I partnered with non-mathematics faculty to promote the teaching of quantitative reasoning and the use of mathematics across the curriculum.

  • (2013–2017) Brooklyn College, CUNY. Graduate teaching fellow and lecturer. I was instructor of record for my classes, mainly calculus and precalculus. My final year at Brooklyn College I taught classes in their Brooklyn College Academy program, an early college program where high school juniors and seniors take college classes for credit.

Conference Talks

Seminar Talks

Service

  • Co-organizer (with V. Gitman), MAMLS Logic Friday, Mid-Atlantic Mathematical Logic Seminar, The Graduate Center, CUNY. (Oct 2017)

  • Co-organizer (with V. Gitman), Set Theory Seminar, The Graduate Center, CUNY. (2017–2018)

  • Co-organizer (with A. Dolich), Models of Peano Arithmetic Seminar, The Graduate Center, CUNY. (2017–2018)

  • Organizer, Student Set Theory Seminar, The Graduate Center, CUNY. (2017–2018)

Technical Experience

  • Winter to Summer 2013, I was a software engineer at Clearwater Analytics, LLC in Boise, Idaho.

  • Technical Skills: LaTeX, Linux, Java, Python, SQL.