Skip to content
ERATO MMSD

ERATO MMSD

ERATO Metamathematics for Systems Design Project

This website at NII is supplementary to the official website at JST.

Language

  • English
  • 日本語
  • 中文
  • Top
  • About
  • Members
    • G0: Metamathematical Integration
    • G1: Heterogeneous Formal Methods
    • G2: Formal Methods in Industry
    • G3: Formal Methods and Intelligence
    • Former Members
  • Open Positions
    • PostDoc Researcher (April 2022)
    • Scientific Programmer (March 2022)
    • PhD Students
    • PostDoc Researcher (Programming abstraction for security, Kyoto U)
  • Papers
  • Theses
  • Events
    • ERATO MMSD Symposium on Automated Driving Safety
    • ERATO MMSD Seminars for Automotive Industry (Members Only)
  • Access & Contact

Search

Recent Posts

  • Open Positions
  • News Release:
  • Distinguished paper award at SSBSE 2021
  • Frenetic algorithm excels at SBST Competition!
  • Best Paper Award at SSBSE 2020

Archives

  • March 2022 (2)
  • November 2021 (1)
  • October 2021 (4)
  • June 2021 (1)
  • March 2021 (2)
  • October 2020 (2)
  • September 2020 (2)
  • March 2020 (3)
  • November 2019 (6)
  • October 2019 (2)
  • August 2019 (2)
  • May 2019 (4)
  • April 2019 (3)
  • March 2019 (7)
  • December 2018 (3)

G3: Formal Methods and Intelligence

Tokyo Site

Paolo Arcaini. Group Leader; Project Associate Professor (NII)

Fuyuki Ishikawa. Group Sub-Leader; Associate Professor (NII)

Xiaoyi Zhang. Researcher; Project Assistant Professor (NII)

Stefan Klikovits. Researcher; Project Researcher (NII)

External

Masami Hagiya. Advisor; Professor (U Tokyo)

Naoki Kobayashi. Advisor; Professor (U Tokyo)

Daisuke Sakamoto. Advisor; Associate Professor (Hokkaido U)

Proudly powered by WordPress