ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Ichiro Hasuo

Registered user since Tue 27 Oct 2015

Name: Ichiro Hasuo

Country: Japan

Affiliation: National Institute of Informatics

Personal website: http://group-mmm.org/~ichiro/

Research interests: semantics, category theory, verification, hybrid systems

Contributions

GaLoP 2019 Committee Member in Steering Committee within the GaLoP-track
FOSSACS 2019 Path category for free - Open morphisms from coalgebras with non-deterministic branching
TACAS 2019 Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments
Show activities from other conferences

ETAPS 2019-profile
View general profile