Reid Dale (Ph.D. 2022). Logical Interrogations of Theory and Evidence.
  Aarrestad Research Consulting, LLC
Yifeng Ding (Ph.D. 2021). Propositional Quantification and Comparison in Modal Logic.
 Assistant Professor of Philosophy, Peking University
Kentaro Yamamoto (Ph.D. 2020). Duality for Boolean Algebra Expansions and Its Applications.
 Postdoctoral Fellow, Institute of Computer Science, The Czech Academy of Sciences
James Walsh (Ph.D. 2020). Reflection Principles and Ordinal Analysis.
 Klarman Postdoctoral Fellow at Cornell University
Russell Ahmed-Buehler (Ph.D. 2019). A Logical Theory of Confirmation.
 Visiting Fellow at the Minnesota Center for Philosophy of Science
Daniel Fremont (Ph.D. 2019). Algorithmic Improvisation.
 Assistant Professor at UC Santa Cruz (Computer Science and Engineering)
James Moody (Ph.D. 2019). Computable Continuous Structure Theory.
 Data Scientist at FINRA
Alexander W. Kocurek (Ph.D. 2018). What Can You Say? Measuring the Expressive Power of Languages.
 Assistant Professor at Cornell University (Philosophy)
Nicholas Ramsey (Ph.D. 2018). Independence, Amalgamation, and Trees.
 Hedrick Visiting Assistant Professor at UCLA (Mathematics)
Matthew Harrison-Trainor (Ph.D. 2017). The Complexity of Countable Structures.
 Banting Postdoctoral Fellow at the University of Waterloo (Mathematics), Canada  Postdoc at Victoria University of Wellington (Mathematics), New Zealand and Massey University (Mathematics), New Zealand
Michael Wan (Ph.D. 2017). Towards a model theory of almost complex manifolds.
 Postdoc at Ben Gurion University (Mathematics), Be’er Sheva, Israel
Andreas Voellmer (Ph.D. 2017). A Partial Characterization of ▫κ for Plus-One Premice.
 Software Developer at Pivotal Software, Inc.  Software Engineer at Google
Lawrence Valby (Ph.D. 2015). Some Case Studies in Algebra Motivated by Abstract Problems of Language.
 Postdoc at Indiana University (Mathematics)
Arthur Tilley (Ph.D. 2014). N Angry Men.
 Data Scientist at LeanTaas, Santa Clara
Kelty Allen (Ph.D. 2014). Martin-Löf Randomness and Brownian Motion.
 Microsoft, Seattle
Ian Herbert (Ph.D. 2013). Weak Lowness Notions for Kolmogorov Complexity.
 Postdoc at the National University of Singapore (Mathematics)
Gwyneth Harrison-Shermoen (Ph.D. 2013). Independence Relations in Theories with the Tree Property.
 Postdoc at University of Leeds (Mathematics)
Justin Bledin (Ph.D. 2013). Logic Informed.
 Assistant Professor at Johns Hopkins University (Philosophy)
Alex Rennet (Ph.D. 2012). Ultraproducts of O-minimal Structures.
 Tenure track Assistant Professor (teaching), University of Toronto (Mathematics)
Koushik Pal (Ph.D. 2011). Uniform Theory of Multiplicative Valued Difference Fields.
 Data Scientist for Sysomos, Toronto
Grigor Sargsyan (Ph.D. 2009). The Tale of Hybrid Mice.
 Assistant Professor at Rutgers University (Mathematics)
Maryanthe Malliaris (Ph.D. 2009). Persistence and Regularity in Unstable Model Theory.
 Associate Professor at the University of Chicago (Mathematics)
Fabrizio Cariani (Ph.D. 2009). The Semantics of ‘Ought’ and the Unity of Modal Discourse.
 Assistant Professor at Northwestern University (Philosophy)
Ben Johnson (Ph.D. 2008). Upper and Lower Bounds for Recursive Fourier Sampling.
 Postdoc at UC Berkeley’s School of Information
Galen Huntington (Ph.D. 2008). Towards an efficient decision procedure for the existential theory of the reals.
Peter Gerdes (Ph.D. 2008). Moduli of Computation.
 Postdoc at the University of Notre Dame (Mathematics)
Kenny Easwaran (Ph.D. 2008). The Foundations of Conditional Probability.
 Associate Professor at the University of Texas A&M (Philosophy)
John Goodrick (Ph.D. 2007). When are Elementarily Bi-embeddable Models Isomorphic?.
 Associate Professor at Universidad de los Andes in Bogotá (Mathematics)
Johanna Franklin (Ph.D. 2007). Aspects of Schnorr Randomness.
 Assistant Professor at Hofstra University (Mathematics)
Xianghui Shi (Ph.D. 2006). Prewellorderings vs. Wellfounded Relations.
 Assistant Professor at Beijing Normal University (Mathematics)