Skip to content

Caleb Stanford

      Research interests

      Modal LogicNonclassical LogicsLogicFormal VerificationFormal MethodsProgramming LanguagesAutomata

      Education

      ScB Mathematics - Computer Science

      Brown University

      September 2013 - May 2016(3 years)

      none

      Brigham Young University

      September 2012 - April 2013(7 months)

      University of Pennsylvania Department of Computer and Information Science