Laura Nenzi

• The Chaos and Cosmos of Kurosawa Tokiko
• Excursions in Identity
• Runtime Verification
• Software Verification and Formal Methods for ML-Enabled Autonomous Systems