Graduate Placement

Mariana Vicaria Angel (Ph.D. 2022). Ax-Kochen/Ershov Style Results in Model Theory of Henselian Valued Fields.

  • [2022] Hedrick Visiting Assistant Professor, Mathematics, UCLA

Reid Dale (Ph.D. 2022). Logical Interrogations of Theory and Evidence.

  • [2022] Aarrestad Research Consulting, LLC

Yifeng Ding (Ph.D. 2021). Propositional Quantification and Comparison in Modal Logic.

  • [2021] Assistant Professor of Philosophy, Peking University

Kentaro Yamamoto (Ph.D. 2020). Duality for Boolean Algebra Expansions and Its Applications.

  • [2021] Postdoctoral Fellow, Institute of Computer Science, The Czech Academy of Sciences

James Walsh (Ph.D. 2020). Reflection Principles and Ordinal Analysis.

  • [2020] Klarman Postdoctoral Fellow at Cornell University

  • [2023] Assistant Professor of Philosophy, NYU

Russell Ahmed-Buehler (Ph.D. 2019). A Logical Theory of Confirmation.

  • [2019] Visiting Fellow at the Minnesota Center for Philosophy of Science

Daniel Fremont (Ph.D. 2019). Algorithmic Improvisation.

  • [2019] Assistant Professor at UC Santa Cruz (Computer Science and Engineering)

James Moody (Ph.D. 2019). Computable Continuous Structure Theory.

  • [2020] Data Scientist at FINRA

Alexander W. Kocurek (Ph.D. 2018). What Can You Say? Measuring the Expressive Power of Languages.

  • [2018] Assistant Professor at Cornell University (Philosophy)

Nicholas Ramsey (Ph.D. 2018). Independence, Amalgamation, and Trees.

  • [2018] Hedrick Visiting Assistant Professor at UCLA (Mathematics)

Matthew Harrison-Trainor (Ph.D. 2017). The Complexity of Countable Structures.

  • [2017] Banting Postdoctoral Fellow at the University of Waterloo (Mathematics), Canada

  • [2018] 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.

  • [2017] Postdoc at Ben Gurion University (Mathematics), Be’er Sheva, Israel

Andreas Voellmer (Ph.D. 2017). A Partial Characterization of ▫κ for Plus-One Premice.

  • [2018] Software Developer at Pivotal Software, Inc.

  • [2019] Software Engineer at Google

Lawrence Valby (Ph.D. 2015). Some Case Studies in Algebra Motivated by Abstract Problems of Language.

  • [2015] Postdoc at Indiana University (Mathematics)

Arthur Tilley (Ph.D. 2014). N Angry Men.

  • [2014] Data Scientist at LeanTaas, Santa Clara

Kelty Allen (Ph.D. 2014). Martin-Löf Randomness and Brownian Motion.

  • [2014] Microsoft, Seattle

Ian Herbert (Ph.D. 2013). Weak Lowness Notions for Kolmogorov Complexity.

  • [2013] Postdoc at the National University of Singapore (Mathematics)

Gwyneth Harrison-Shermoen (Ph.D. 2013). Independence Relations in Theories with the Tree Property.

  • [2013] Postdoc at University of Leeds (Mathematics)

Justin Bledin (Ph.D. 2013). Logic Informed.

  • [2013] Assistant Professor at Johns Hopkins University (Philosophy)

Alex Rennet (Ph.D. 2012). Ultraproducts of O-minimal Structures.

  • [2012] Tenure track Assistant Professor (teaching), University of Toronto (Mathematics)

Koushik Pal (Ph.D. 2011). Uniform Theory of Multiplicative Valued Difference Fields.

  • [2011] Data Scientist for Sysomos, Toronto

Grigor Sargsyan (Ph.D. 2009). The Tale of Hybrid Mice.

  • [2009] Assistant Professor at Rutgers University (Mathematics)

Maryanthe Malliaris (Ph.D. 2009). Persistence and Regularity in Unstable Model Theory.

  • [2009] Associate Professor at the University of Chicago (Mathematics)

Fabrizio Cariani (Ph.D. 2009). The Semantics of ‘Ought’ and the Unity of Modal Discourse.

  • [2009] Assistant Professor at Northwestern University (Philosophy)

Ben Johnson (Ph.D. 2008). Upper and Lower Bounds for Recursive Fourier Sampling.

  • [2008] 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.

  • [2008] Postdoc at the University of Notre Dame (Mathematics)

Kenny Easwaran (Ph.D. 2008). The Foundations of Conditional Probability.

  • [2008] Associate Professor at the University of Texas A&M (Philosophy)

John Goodrick (Ph.D. 2007). When are Elementarily Bi-embeddable Models Isomorphic?.

  • [2007] Associate Professor at Universidad de los Andes in Bogotá (Mathematics)

Johanna Franklin (Ph.D. 2007). Aspects of Schnorr Randomness.

  • [2007] Assistant Professor at Hofstra University (Mathematics)

Xianghui Shi (Ph.D. 2006). Prewellorderings vs. Wellfounded Relations.

  • [2006] Assistant Professor at Beijing Normal University (Mathematics)