A paper by Kittiphon Phalakarn, Ichiro Hasuo and other was awarded as the Best Paper Award of The 21st International Colloquium on Theoretical Aspects of Computing (ICTAC 2024). AuthorsKittiphon Phalakarn（National Institute of Informatics ）Sasinee Pruekprasert（National Institute of Advanced Industrial Science and Technology）Ichiro Hasuo（National Institute of Informatics） Awarded Paper TitleWinning Strategy Templates for Stochastic Parity Games…

We invite applications for postdoc and senior researchers. The candidates will pursue collaboration with Bart Jacobs (Nijmegen), Joost-Pieter Katoen (Aachen), and Sam Staton (Oxford). The positions are for 4.5 years max. [Abstract and Concrete Automated Verification]We look for 1) model checking specialists with aspiration for lattice- and category-theoretic abstract theories, or conversely, 2) category theorists with…

Symposium information: https://han.kpx.mybluehost.me/website_00f792b2/ja/2024symposium/ Most talks are in Japanese… but join us for poster presentations and discussions! Registration deadline: Fri 7 June.

A paper by Mayuko Kori, Ichiro Hasuo and others was awarded as Distinguished Paper Award of 35th International Conference on Computer Aided Verification.  AuthorsMayuko Kori (National Institute of Informatics & SOKENDAI)Flavio Ascari (University of Pisa) Filippo Bonchi (University of Pisa) Roberto Bruni (University of Pisa) Roberta Gori (University of Pisa) Ichiro Hasuo (National Institute of Informatics & SOKENDAI) Awarded…

Three papers (co)-authored by ERATO MMSD researchers accepted for presentation at CAV 2023 – 35th International Conference on Computer Aided Verification. Compositional Probabilistic Model Checking with String Diagrams of MDPs. Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo Online Causation Monitoring of Signal Temporal Logic. Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo Exploiting Adjoints in Property…

A few positions with us are now open: Scientific Programmer (Towards a Research-Oriented Startup, Oct 2022) PostDoc Researcher (Category Theory and Practical Model Checking Algorithms, Oct 2022) PostDoc Researcher (Theorem Proving for Automated Driving, Oct 2022) Besides, there is a post-doc opportunity open in Kyoto, in Atsushi Igarashi’s group (we work closely with them): PostDoc…

A news release from NII and JST: The research team led by HASUO Ichiro at the National Institute of Informatics (NII, Japan) developed a methodology to provide strong mathematical safety guarantees to automated driving vehicles, together with its underlying theory on formal logic. This research was conducted under the ERATO MMSD project funded by the Japan…

The following positions are currently open. Scientific programmer PostDoc researcher in formal verification extended with optimization metaheuristics

New method for automatic and efficient discovery of reliable gas turbine system designs — Exploiting the logical specification in black box optimization and applying it to the design process of real commercial products — A research team consisting mainly of SATO Sota and HASUO Ichiro at the National Institute of Informatics (NII, Japan) and the…

Dr. Paolo Arcaini has been awarded the Distinguished paper award at SSBSE 2021 — 13th Symposium on Search-Based Software Engineering Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali Generating Failing Test Suites for Quantum Programs With Search Dr. Paolo Arcaini is a Project Associate Professor at NII, and the leader of ERATO MMSD Project, Group…