Lab Info

Welcome to our lab information page! I am a newly appointed assistant professor at NII in Tokyo, starting in April 2025.
If you are interested in joining us, feel free to reach out to me via email (kazukiwatanabe at nii.ac.jp)!

Some Research Topics (not exclusive)

We study formal verification, including model checking and software verification. We mostly focus on:

  1. Logical (or categorical) foundation of formal verification,
  2. Optimisation and heuristics for efficient verification algorithms.
We provide some details and references below.
If you join us, you will have the opportunity to work on related topics.

Topic1: Logical (or categorical) foundation of formal verification

We focus on generalizing existing methods and developing new ones by abstracting the natural structures that arise in model checking and program verification,
primarily based on category theory and lattice theory.

Topic2: Optimisation and heuristics for efficient verification algorithms

We are working on the development of efficient model checking methods using algorithms from convex optimization and multi-objective optimization.