He is the author of "Learn TLA+" and is currently writing "Practical TLA+" with Apress. In his free time he juggles and studies for his EMT certification.