1 · Systems, formal methods, and finance engineering

I work on practical verification of financial and systems software.

I combine model checking, program analysis, and evidence from real failures to turn concrete risks into checks engineers can actually use.