Shane Steinert-Threlkeld

City
Stanford, California, United States
Discipline
Philosophy
Interests
Logic, Philosophy of Language, Philosophy of Mathematics, Scientific Computing, Cognitive Science
More... Less...

  • 16 Followers

Stats

Publications

  • Automata and Complexity in Multiple-Quantifier Sentence Verification

    Szymanik J, Steinert-Threlkeld S, Zajenkowski M, Icard III. T

    Proceedings of the 12th International Conference on Cognitive Modeling (2013)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On the Decidability of Iterated Languages

    Steinert-Threlkeld S

    Proceedings of Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML2014) (2014)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Automata and Complexity in Multiple-Quantifier Sentence Verification

    Szymanik J, Steinert-Threlkeld S, Zajenkowski M, Icard III. T

    Proceedings of the 12th International Conference on Cognitive Modeling (2013)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Iterating semantic automata

    Steinert-Threlkeld S, Icard III. T

    Linguistics and Philosophy (2013)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Ontological Labels for Automated Location of Anatomical Shape Differences

    Steinert-Threlkeld S, Ardekani S, Mejino J, Detwiler L, Brinkley J, Halle M et al.

    Journal of Biomedical Informatics (2012)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Lambda Calculi

    Steinert-Threlkeld S

    The Internet Encyclopedia of Philosophy (2011)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Open Standards, Web-Based Mathlets: Making Interactive Tutorials Using the HTML5 canvas Element

    Steinert-Threlkeld S, Ratnanather T

    Loci: Developers (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Professional experience

Ph.D. Student

Department of Philosophy, Stanford University

September 2011 - Present

Research Scientist

Center for Imaging Sciences

June 2009 - August 2011 (2 years 2 months)

Teaching Assistant

Johns Hopkins Department of Mathematics

August 2010 - May 2011 (9 months)

Education history

Department of Philosophy, Stanford University

Ph.D. student

September 2011 - Present

Johns Hopkins University

B.A. Philosophy and Mathematics, Minor Computer Science

September 2007 - May 2011 (3 years 8 months)

Carnegie Mellon University

Summer: Logic and Formal Epistemology

June 2010 - June 2010