Hi! I'm Shane, a PhD candidate in Philosophy and Symbolic Systems at Stanford University. Before that, I studied Philosophy, Mathematics, and Computer Science at The Johns Hopkins University. I have also been a Visiting Student at the Institute for Logic, Language, and Computation and the Munich Center for Mathematical Philosophy.
I work on various topics in logic and language. Some current keywords are quantifiers, compositionality, procedural semantics, and semantic competence. 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
shanest AT stanford DOT edu
Grigori Mints and Shane Steinert-Threlkeld, "ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction", Journal of Logic and Computation (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, "Learning to Use Function Words in Signaling Games", Proceedings of Information Dynamics in Artificial Societies (IDAS-14)
Shane Steinert-Threlkeld, "On the Decidability of Iterated Languages", Proceedings of Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML2014), 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
My Erdös Number is 4, via at least three paths: