Curriculum Vitae

You can view the full résumé below or open it directly in a new tab. The PDF opens inline in your browser — no download required.

Résumé — inline view

Papers

• Benchmark — Formal Verification for Surgical Robots

  Draft · in preparation

  Open PDF↗

• Composing Multi-Agent Behavior Trees: A DSL Extension for BehaVerify

  Preprint

  Open PDF↗