Researcher, advisor, writer, formal verification eng @ Confluent.
Everything data (dist sys, databases, messaging, data eng/analytics).

https://jack-vanlightly.com, https://www.hotds.dev
Credit: ESO/B. Tafresh