Scientifically interested in algebras, personally worried about protocols (including HTTP2 ), working hard on async code correctness verification catching race conditions with dependent types like there's no tomorrow (yeah... Aleph & Netty - I'm looking at your right now ) trying to make a life of communicating system developers better.