By day: tool development, model-checking, testing, statistics
By night: hacking internet of things with kids