Software engineer working on computational notebooks at Datadog. Currently interested in formal verification, algorithms, and ML systems.