Guy Katz

• Ill Do It!
• Intercultural Negotiation
• Software Verification and Formal Methods for ML-Enabled Autonomous Systems
• Tools and Algorithms for the Construction and Analysis of Systems