Students

PhD Logic, Computation & Methodology
MS Logic & Computation
MA Philosophy
BS Logic & Computation
BA Philosophy
BA Ethics, History, and Public Policy
BA Linguistics
Additional BS Logic & Computation
Additional BA Philosophy
Additional BA Ethics, History, and Public Policy
Additional BA Linguistics
Additional BS Environmental Policy

PhD Logic, Computation & Methodology

	Spencer Breiner	Baker Hall 138 412.268.9669 sbreiner@andrew.cmu.edu
	Philosophy of Mathematics Foundations of Geometry	Hometown: Boone, NC BS Mathematics University of California at Berkeley
	Edward Dean	Baker Hall 143 412.268.8148 edean@andrew.cmu.edu
	Proof Theory Philosophy of Mathematics Modal Logics	Hometown: Birmingham, AL BS Mathematics, BA Philosophy: Harvard University
	Favorite Philosopher: Buffy Anne Summers
	Stephen Fancsali	Baker Hall 143 412.268.8148 sfancsal@andrew.cmu.edu
	Causation Philosophy of Science and Social Science	Hometown: Pleasant Hills, PA BA Philosophy BS Economics University of Pittsburgh
	Henrik Forssell	Baker Hall 148 412.268.9669 jforssel@andrew.cmu.edu
	Advisor Steve Awodey
	Category Theory Categorical Logic Philosophy of Mathematics	Hometown: Trondheim, Norway
	Favorite Team: Skellefteå AIK
	Sicun Gao	Baker Hall 135F sicung@andrew.cmu.edu
	Advisor Edmund Clarke Jeremy Avigad
	Decision Procedures and Model Checking Computational Algebraic Geometry Finite Model Theory	Hometown: Tianjin, China BS Logic BS Mathematics Peking University
	Favorite Wiki Item: Alternative Rock
	Dave Gray	Baker Hall 143 412.268.8148 bigdaddy@cmu.edu Personal Homepage
	Advisor Alex London Teddy Seidenfeld
	Deliberative Democracy Social Choice and Decision Theory Nature of Rationality	Hometown: Helena, MT BS Computer Science BA Philosophy: University of Montana
	Favorite Neglected Philosopher: José Ortega y Gasset Favorite Cheese: Gouda
	Benjamin Jantzen	Baker Hall 135F bjantzen@andrew.cmu.edu
	Philosophy and foundations of biophysics Concepts and theories of coding in molecular biology Philosophy of physics Identity and individuality in microphysics	BS Physics, BS Biology Penn State University MS Physics Cornell University MA Philosophy Carnegie Mellon Univeristy
	Ruth Poproski	Baker Hall 143 412.268.8148 rpoprosk@andrew.cmu.edu
	Advisor Horacio Arló Costa
	Epistemology Belief Dynamics Rational Choice Language and Meaning	Hometown: Waterloo, Ontario, Canada B Religious Education Tyndale University College BA Philosophy University of Waterloo MA Philosophy University of Western Ontario
	Favourite Lisa Simpson Quote: "I can see through time!"
	Conor Mayo-Wilson	Baker Hall 143 412.268.8148 conormw@andrew.cmu.edu
	Logic and Foundations of Mathematics History and Philosophy of Mathematics Philosophy of Science	Hometown: Pittsburgh, PA BA Philosophy BS Mathematics Stanford University
	Favorite Vineyard: Conn Creek
	Robert Tillman	Baker Hall 138 rtillman@andrew.cmu.edu
	Causal Modeling Machine Learning Cognitive Science Probability Theory and Stochastic Modeling	Hometown: Montgomery, AL BA Philosophy BS Psychology Tulane University
	Michael Warren	Baker Hall 135F mwarren@andrew.cmu.edu Personal Homepage
	Advisor Steve Awodey
	Category Theory Type-theory Constructive Mathematics History and Philosophy of Logic and Mathematics	Hometown: Albuquerque, NM MA Philosophy University of St. Andrews, UK
	Favorite Radio Station: BBC Radio 3
	Yimu Yin	Baker Hall 135F yimuy@andrew.cmu.edu Personal Homepage
	Advisor Jeremy Avigad
	Mathematical Logic Philosophy of Mathematics
	Favorite General With a Chicken Dish: General Tso Favorite Question: "Who the heck is General Tso?"

Φ Back to the top

MS Logic & Computation

	Michael Freenor	Baker Hall 143 412.268.8148 mfreenor@andrew.cmu.edu
	Philosophy of Language Philosophy of Mind History of Materialism and Science	Hometown: Raleigh, NC BS Philosophy BS Computer Science North Carolina State University
	Nathan Lubchenco	Baker Hall 161A 412.268.8573 nlubchen@andrew.cmu.edu
	Counterfactuals Metaphysics Logic	Hometown: Simla, CO BA Philosophy:
	Favorite Movie: Leon the Professional
	Dan Malkiel	Baker Hall 161A 412.268.8573 dmalkiel@andrew.cmu.edu
	Decision Theory Statistics History and Philosophy of Mathematics	Hometown: Columbia, MD BA Liberal Arts St. John's College
	Favorite Album: Illmatic
	Arthur Paul Pedersen	Baker Hall 138 412.268.9669 apaulpedersen@cmu.edu Personal Homepage
	Advisor Horacio Arlo-Costa
	Formal Epistemology Philosophical Logic Rational Choice	Hometown: Milwaukee, WI BA Mathematics BA Philosophy University of Wisconsin
	Nick Radcliffe	Baker Hall A60B 412.268.5737 nradclif@andrew.cmu.edu
	Problem Solving Foundations of Mathematics	Hometown: Fulshear, TX BA Mathematics University of Notre Dame
	Favorite quote: "Batman's a scientist!" -Homer Simpson
	Savitar Sundaresan	Baker Hall 161A 412.268.8573 ssundare@andrew.cmu.edu
	Philosophy of Mathematics Decision Theory Statistics Logic	Hometown: New York, NY BA Philosophy BA Mathematics Harvard University
	Favorite sport: Dwarf Tossing
	Arthur Tu	Baker Hall 161A 412.268.8537 atu@andrew.cmu.edu Personal Homepage
	Formal Epistemology Causation Machine Learning Metaphysics History of Philosophy	Hometown: Los Angeles, CA BS Computer Science BA Philosophy Carnegie Mellon University
	Favorite Song: Buckwheat Boyz – It’s Peanut Butter Jelly Time Favorite A Capella Group: Rockapella
	Mark Whitehouse	Baker Hall 161A 412.268.8537 mwhiteho@andrew.cmu.edu Personal Homepage
	Philosophy of Mind Machine Learning Epistemology	Hometown: Napa, CA BA Philosophy San Jose University

Φ Back to the top

MA Philosophy

	Dave Gilbert	Baker Hall 143 412.268.8148 daveg@andrew.cmu.edu
	Philosophical Logic Metaphysics Philosophy of Mathematics	Hometown: Ithaca, NY BSc, University of Toronto MSc, University of Oxford

Φ Back to the top

BS Logic & Computation

Matthew Grame
Ruth Hogan
Augustus Mayo
Eugene Millerman
Matthew Rowe
Sebastian Stranahan
Sarah Taylor
Alexander Veerhoff

Φ Back to the top

BA Philosophy

Diego Bauza
Clara Bittner-Rossmiller
Corey Ginsberg
Gillian Goldberg
Tarun Hansen
Matt Thompson
Gabriela Uribe
Adam Walker
Michael Whiston

Φ Back to the top

BA Ethics, History, and Public Policy

Michael Burnside
Aeisel Chang
Frencesco Coco
Juliann Coniglio
Alan Eaton
Karen Evan
Abiola Fasehun
Nessa French
Elizabeth Genatowski
Daniel Giesey
Eric Hendler
Tim Kidwai
Borg Lojasiewicz
Abbey McClain
Marta Massague
Harley Metcalfe
Veronica Millner
Carl Misitano
Mike Mosenfelder
Andrew Peters
Thomas Podles
Andrew Scott
Victoria See
Jae H Shim
Tomasz Skowronski
Andrea Solomon
Carl Spindler
Amy Suntoke
Charles Wonsono

Φ Back to the top

BA Linguistics

Joe Degolia
Miriam Kenton
Alexandra Kronstein
Ateret Reisner
Guy Alexander Russo
Todd Snider
Courtney Sutter

Φ Back to the top

Additional BS Logic & Computation

Nicolas Brockmeyer
Mikhail Druv
Chris Martens
Victoria Noquez
Alexander Smith
Johnathan Spiegel

Φ Back to the top

Additional BA Philosophy

James Berndt
Matt Buchovecky
Oliver Chen
Elizabeth Decker
Matt Faria
Terry Garove
Jason Grisafi
Joseph Gruber
Lauren Hudock
Jie Jin
Cihan Kadipasaoglu
Walter King
Ari Klein
Christine Lee
Ryan Logue
Edgar Martinez
Julianne Mentzer
Christina Onorato
Ryan O’Shea
Xinghao Pan
Brian Pollack
David Rizwan
Matthew Rowe
Arthur Tu
Calvin Chee Jun Wong
Wendy Yim

Φ Back to the top

Additional BA Ethics, History, and Public Policy

Lisa Choi
Tokiea Fitzgerald
Christopher Franzi
Christopher Le
Laura Miller
Melvin Udeh
Rashi Venkataraman

Φ Back to the top

Additional BA Linguistics

Elizabeth Chen
Laura Horton
Benjamin Lee
Jonathan Samuels
Matt Thompson

Φ Back to the top