Kazuyuki Asada

Interests: computation and logic
(categorical logic, type theory, domain theory, polymorphism, higher-order computability, (co)algebra, bidirectional transformation, program verification)
CV


Papers:

Talks:

  • Kazuyuki Asada and Takeshi Tsukada
    Strategies in HO/N games as profunctors
    Games for Logic and Programming Languages XI (GaLoP 2016)

  • Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
    Refinement Type Checking via Assertion Checking
    Workshop on Higher-Order Program Analysis (HOPA 2015)


Academic Activities:


I'm a postdoctoral researcher at Kobayashi Lab
(in Dept. of Computer Science, Graduate School of Information Science and Technology, the University of Tokyo, Japan)

Previously I belonged to Nishimura Lab, Hasegawa Lab (PhD), Takeichi Lab, BiG in Hu Lab.

e-mail: let # = @ in asada#kb.is.s.u-tokyo.ac.jp