Hi, I'm dan. I'm a programmer and a product developer living in Portland, Ore. I've worked in distributed systems and execution, formal methods, embedded systems, and programming languages.
Right now, I work at Auxon where we're building the next generation of empirical verification software for complex cyber-physical systems. I'm glad you're here. Reach out at one of the links below.