What's new
- I'm giving an invited talk at the workshop ICE 2012,
Stockholm, June 16, 2012.
- We are organizing NII Shonan Meeting
on hybrid systems. Details
- In AY 2012 (starting Apr 2012), our group (Group MMM, aka Hasuo-Lab) consists of 5 MSc students, one administrative staff, myself, and guests (that can be you!).
- A talk on nonstandard analysis applied to static analysis of hybrid systems.
- A talk on quantum GoI (geometry of interaction) at ENS Lyon, Sep 2011. Here are the slides.
- A talk on SOS-based component calculi from a coalgebraic perspective, at CALCO 2011, Sep 2011. Here are the slides.