By day: tool development, model-checking, testing, statistics

By night: hacking internet of things with kids