Graduate Placement

Matthew Duvalier (Ph.D. 2025). Definibilitas Minimaximi.

Ahmee Christensen (Ph.D. 2025). Semantic Studies of Modal and Intuitionistic Modal Logic.

Diego Bejarano Rayo (Ph.D. 2025). Definability and Scott Rank in Separable Metric Structures.

Shivaram Rao Lingamneni (Ph.D. 2024). Against Bayesianism and Corrections to Bayesianism.

  • [2023] Reddit

Sridhar Ramesh (Ph.D. 2023). Introspective Theories and Geminal Categories.

  • [2023] Software engineering/AI, Target

Guillaume Massas (Ph.D. 2023). Duality and Infinity.

  • [2023] Postdoctoral Fellow, Scuola Normale Superiore, Pisa

  • [2023] Assistant Professor of Philosophy, Chapman University

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

  • [2025] Humboldt Fellow at Universität Münster (Mathematics)

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

  • [2022] Aarrestad Research Consulting, LLC

  • [2023] Postdoctoral Scholar, Department of Cardiothoracic Surgery, Stanford University School of Medicine

Benjamin Siskind (Ph.D. 2021). Aspects of Martin’s Conjecture and Inner Model Theory.

  • [2021] Postdoctoral Fellow, Carnegie Mellon University

  • [2023] Postdoctoral Fellow, TU Wien

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

  • [2023] Assistant Professor, Institute of Mathematics, The Polish Academy of Sciences

  • [2024] Project Assistant Professor of Advanced Logistics Science at Research Center for Advance Science and Technology, University of Tokyo

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)

  • [2024] Assistant Professor at UC San Diego (Philosophy)

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

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

  • [2022] Assistant Professor at Notre Dame (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

  • [2021] Donald J. Lewis Research Assistant Professor at the University of Michigan (Mathematics)

  • [2023] Assistant Professor at the University of Illinois Chicago (Department of Mathematics, Statistics, and Computer Science)

Michael Wan (Ph.D. 2017). Towards a model theory of almost complex manifolds.

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

  • [2021] Research Scientist at the Institute for Experiential AI at Northeastern University

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)

  • [2022] Professor at University of Maryland, College Park (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)

  • [2023] Associate Professor, Department of Logic and Philosophy of Science, University of California, Irvine

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] National University of Singapore, Visiting Fellow

  • [2010] Dartmouth College, Visiting Assistant Professor

  • [2011] University of Connecticut, University Postdoctoral Fellow

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

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

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