Graduate Placement
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)