Ichiro Hasuo

Registered user since Tue 27 Oct 2015

Name:Ichiro Hasuo
Country:Japan
Affiliation:National Institute of Informatics, Japan
Research interests:semantics, category theory, verification, hybrid systems

Contributions

POPL 2023 Committee Member in Program Committee within the POPL-track
ASE 2021 Author of Time-Aware Coverage Criteria for Testing of AI-Enabled Hybrid Control Systems within the Late Breaking Results-track
PLMW 2021 Invited Speaker in Invited Speakers within the PLMW 2021-track
Speaker of Think Abstractly, Work Concretely within the PLMW 2021-track
APLAS 2020 Committee Member in Program Committee
POPL 2021 Committee Member in Program Committee within the POPL-track
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
GaLoP 2019 Committee Member in Steering Committee within the GaLoP-track
FOSSACS 2019 Author of Path category for free - Open morphisms from coalgebras with non-deterministic branching within the FOSSACS 2019-track
TACAS 2019 Author of Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments within the TACAS 2019-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
VMCAI Author of Abstract Interpretation with Infinitesimals within the VMCAI-track
POPL 2016 Author of Lattice-Theoretic Progress Measures and Coalgebraic Model Checking within the Research Papers-track
Author of Memoryful Geometry of Interaction II: Recursion and Adequacy within the Research Papers-track