Shane Steinert-Threlkeld

  • Ph.D. Student
  • Stanford University Department of Philosophy

Research Interests

Logic Philosophy of Language Philosophy of Mathematics Scientific Computing Cognitive Science

Followers (16)

Explore network

Following (17)

Explore network

Publications

ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction

Mints G, Steinert-Threlkeld S

Journal of Logic and Computation (2016)

  • Get full text at journal
  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Compositional Signaling in a Complex World

Steinert-Threlkeld S

Journal of Logic, Language and Information (2016)

  • Get full text at journal
  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Some Properties of Iterated Languages

Steinert-Threlkeld S

Journal of Logic, Language and Information (2016)

  • Get full text at journal
  • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Informational Dynamics of `Might' Assertions

Hawke P, Steinert-Threlkeld S

Proceedings of Logic, Rationality, and Interaction (LORI-V) (2015)

  • Get full text at journal
  • -- 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.

ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction

Mints G, Steinert-Threlkeld S

Journal of Logic and Computation (2013)

  • -- 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)

  • Get full text at journal
  • -- 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, Kikinis R, Winslow R, Miller M, Ratnanather J

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

Stanford University Department of Philosophy

September 2011 - Present

Research Scientist

Center for Imaging Sciences

June 2009 - August 2011 (2 years 2 months)

Teaching Assistant

Johns Hopkins University Department of Mathematics

August 2010 - May 2011 (9 months)

Education history

Stanford University Department of Philosophy

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