Isaac is a senior research scientist at Heliax, and leads the Typhon group. Isaac’s background is in distributed systems, security, and programming language techniques. In his quest to bolster robust security properties while decentralizing systems, he is adapting consensus protocols for cross-domain (and cross-chain) atomic transactions. When not bringing disorder to systems, Isaac enjoys tabletop RPGs, bad movies, and novels with innovative settings.