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)

Recent publications

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


Professional experience

DPhil Student

University of Oxford

October 2010 - Present