I specialize in simulation, system software, and the design of DSLs and programming languages.

I'm a proponent of correctness-by-construction and property-based testing.

I currently organize the Tokyo Rust community.

Years ago I ran the Budapest Haskell User Group.