🎓 PhD student in Computer Science at @UniVerona
👨🏻‍💻 Recent visiting researcher @CarnegieMellon
📚 Formal Verification of DNNs, Safe DRL
📍Verona 🇮🇹

ID: 1637077898765926403

linkhttps://lmarza.github.io calendar_today18-03-2023 13:06:12