Name:Daisuke Kimura

Country:Japan

Affiliation:Toho University

Research interests:Program Verification, Separation Logic, Inductive Definition, Cyclic Proofs, Type Theory