Natsuki Urabe(卜部 夏木)

I am a postdoctoral researcher at National Institute of Informatics, Japan.
My reserach interests are in the areas of category theory, coalgebras, quantitative systems, probabilistic systems and fixed-point logic.

Papers

(see also dblp)

Talks

Theses

Work History

Contact