Skip to content

Jonathan Kochems

  • DPhil Student
  • University of Oxford
  • 1PublicationsNumber of items in Jonathan's My Publications folder on Mendeley.
  • 11Followers

Research interests

Game SemanticsFunctional ReachabilityHigher-Order Verification

Followers (11)

Explore network

Following (10)

Explore network

Publications (1)

  • Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars

    N/AReaders
    N/ACitations

Professional experience

DPhil Student

University of Oxford

October 2010 - Present