Work

Resume, GitHub.

Talks

• Tracing OCaml Programs, OCaml 2022 (video, abstract)
• Answer Set Programming: Into the Multiverse, 2020, Veracode

Writing

• Test Lean and Ship Healthy: A Handbook on Delivering High Quality Software in the DevOps World

Patents

• US20200042628A1
• US20200042712A1