pe200012 [pe200012]

Oct. 7th, 2025
chen.p.8058 (at) m.isct.ac (dot) jp
(twitter) pe200012

I am a second-year master student in the Department of Mathematical and Computing Science at the Institute of Science Tokyo, advised by Professor Masuhara Hidehiko.

I prefer functional programming and am currently learning programming language theory. Particularly, algebraic effects, continuations, dependent types, formal verification, and type theories.