Computer scientist interested in Algorithm design, verification, DevOps and web. Founder of https://hazeltime.com