APPLICATION
Professor matching
Public Professor Archive
Tokyo University of Agriculture and Technology · Integrated Information Media Center · 准教授
Tokyo University of Agriculture and Technology · Integrated Information Media Center · 准教授
Research keywordsprogram verification・constrained horn clauses・fixpoint logic・ownership types・termination verification・dijkstra monads
This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.