Hi! I'm Shane, a Postdoctoral Researcher at the Institute for Logic, Language and Computation at Universiteit van Amsterdam. During March and April 2017, I am a visiting researcher at Institut Jean Nicod at École Normale Supérieure.

Before that, I did my PhD in Philosophy and Symbolic Systems from Stanford University. My dissertation was titled "New Questions About Compositionality" and was supervised by Johan van Benthem. During Summer 2016, I was a research software engineering intern in the Research and Machine Intelligence division of Google.

Before that, I studied Philosophy, Mathematics, and Computer Science at The Johns Hopkins University.

You can find out more by looking at my CV or just scrolling down.

You can reach me via snail or electronic mail:

450 Serra Mall, Bulding 90

Stanford, CA 94305

S.N.M.Steinert-Threlkeld AT uva DOT nl

Peter Hawke and **Shane Steinert-Threlkeld**, "Informational Dynamics of Epistemic Possibility Modals", *Synthese*, online first (DOI: 10.1007/s11229-016-1216-8)

**Shane Steinert-Threlkeld**, "Compositional Signaling in a Complex World", *Journal of Logic, Language, and Information*, vol 25 no 3, pp. 379-397 (DOI: 10.1007/s10849-016-9236-9)

**Shane Steinert-Threlkeld**, "Compositionality and Competition in Monkey Alert Calls", *Theoretical Linguistics*, vol 42 no 1-2, pp. 159-171 (DOI: 10.1515/tl-2016-0009)

**Shane Steinert-Threlkeld**, "Some Properties of Iterated Languages", *Journal of Logic, Language, and Information*, vol 25 no 2, pp. 191-213 (DOI: 10.1007/s10849-016-9239-6)

**Shane Steinert-Threlkeld** and Thomas F. Icard, III., "Iterating semantic automata", *Linguistics and Philosophy*, vol 36 no 2, pp. 151-173 (DOI: 10.1007/s10988-013-9132-6)

Grigori Mints and **Shane Steinert-Threlkeld**, "ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction", *Journal of Logic and Computation*, vol 26 no 1, pp. 395-408 (DOI: 10.1093/logcom/ext032)

**Shane Steinert-Threlkeld**, Siamak Ardekani, Jose L.V. Mejino, Landon Todd Detwiler, James F. Brinkley, Michael Halle, Ron Kikinis, Raimond L. Winslow, Michael I. Miller, and J. Tilak Ratnanather, "Ontological Labels for Automated Location of Anatomical Shape Differences", *Journal of Biomedical Informatics*, vol 45 no 3, pp. 522-527 (DOI: 10.1016/j.jbi/2012.02.013)

**Shane Steinert-Threlkeld**, Gert-Jan Munneke, and Jakub Szymanik, "Alternative Representations in Formal Semantics: A case study of quantifiers", *Proceedings of the 20th Amsterdam Colloquium*, eds. Thomas Brochhagen, Floris Roelofsen, and Nadine Thelier, pp. 368-379.

Peter Hawke and **Shane Steinert-Threlkeld**, "Informational Dynamics of `Might' Assertions", *Proceedings of Logic, Rationality, and Interaction (LORI-V)*, eds. Wiebe van der Hoek, Wes Holliday, and Wen-fang Wang, pp. 143-155. (DOI: 10.1007/978-3-662-48561-3_12)

**Shane Steinert-Threlkeld**, "Learning to Use Function Words in Signaling Games", *Proceedings of Information Dynamics in Artificial Societies (IDAS-14)*, eds. Emiliano Lorini and Laurent Perrussel.

**Shane Steinert-Threlkeld**, "On the Decidability of Iterated Languages", *Proceedings of Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML2014)*, ed. Oleg Prosorov, pp. 215-224.

Jakub Szymanik, **Shane Steinert-Threlkeld**, Marcin Zajenkowski, and Thomas F. Icard, III., "Automata and Complexity in Multiple-Quantifier Sentence Verification", *Proceedings of the 12th International Conference on Cognitive Modeling (ICCM)*

**Shane Steinert-Threlkeld**, Siamak Ardekani, Jose L.V. Mejino, Landon Todd Detwiler, James F. Brinkley, Michael Halle, Ron Kikinis, Raimond L. Winslow, Michael I. Miller, and J. Tilak Ratnanather, "Ontological Labels for Automated Location of Left-Ventricular Remodeling", *Proceedings of 2011 Fifth IEEE International Conference on Semantic Computing*, pp. 572- 573 (DOI: 10.1109/ICSC.2011.99)

**Shane Steinert-Threlkeld**, "Lambda Calculi", *Internet Encyclopedia of Philosophy*

**Shane Steinert-Threlkeld**, Gert-Jan Munneke, and Jakub Szynamik, "Alternative Representations in Proportional Quantifier Verification", at Workshop on Linguistic and Cognitive Aspects of Quantification

Peter Hawke and **Shane Steinert-Threlkeld**, "Epistemic Modality and the Dynamics of Discourse", at 2015 Berkley-Stanford-Davis Graduate Student Conference

Eric Acton, Daria Popova, and **Shane Steinert-Threlkeld**, "Quantifier Scope and Tensed Clauses", at 6th California Universities Semantics and Pragmatics Conference

**Shane Steinert-Threlkeld**, "Deflationism, Gaps, and Expressive Power", at 2013 Berkeley-Stanford-Davis Graduate Student Conference

- PHIL 152: Computability and Logic @ Stanford (syllabus)
- Quantification and Computation @ NASSLLI2014 and ESSLLI2014 (with Jakub Szymanik)
- PHIL 23A: Cognitive Science of Mathematics @ Stanford (syllabus)
- PHIL 150e: Logic in Action @ Stanford (with Peter Hawke and Thomas F. Icard, III.)

- PHIL 99: Minds and Machines (Fall 2014) [also: SYMSYS 100, LINGUIST 144, PSYCH 35]
- PHIL 152: Computability and Logic (Spring 2013)
- PHIL 80: Mind, Matter, Meaning (Fall 2012)
- PHIL 151: First-Order Logic (Winter 2012, Winter 2013)
- MATH 107: Calculus II (Spring 2011, Johns Hopkins)
- MATH 106: Calculus I (Fall 2010, Johns Hopkins)

Program committee:

- NASSLLI 2014 Student Session

Organizing committee:

- 1st, 2nd, 3rd CSLI Workshop on Logic, Rationality, and Intelligent Interaction
- 1st, 2nd Prometheus Undergraduate Philosophy Conference

- Admit visit co-coordinator (2014-2015)
- Graduate Student Faculty co-Representative (2013-2014)
- Hume Society (graduate student) co-President (2012-2013)
- Graduate co-Advisor to
*The Dualist*(2012-2014) - Editor-in-Chief,
*Prometheus*(2008-2011)

- Replicator Dynamics Examples: this repository has simple Python code that makes it easy to run and visualize simulations of the replicator and replicator-mutator dynamics in evolutionary game theory. It includes matrices and plots for common examples.
- Joyce's Argument for Probabilism: this is a Mathematica notebook that carries out the construction in the proof of Joyce's most general argument for probabilism from his 2009 "Accuracy and Coherence: Prospects for an Alethic Epistemology of Partial Belief"
- Rabin's Tree Theorem (slides)
- Nonmonotone Inductive Definitions (slides)
- Linear Logic (slides)

My Erdös Number is **4**, via at least three paths:

- Grigori Mints - Yuri Matiyasevitch - Richard Guy - Paul Erdös
- Michael I Miller - Ulf Grenander - Oved Shisha - Paul Erdös
- Raimond L Winslow - Daniel Q. Naiman - János Pach - Paul Erdös