Anna Lukina
banner
annalukina.bsky.social
Anna Lukina
@annalukina.bsky.social
Computer scientist
✨ ELLIS Unit Delft joined ELSA - European Lighthouse on Secure and Safe AI as an Associate Member. ✨

Anna Lukina will lead TU Delft’s involvement in the ELSA project over the next year.
#elsa #ai #ellis | TU Delft | AI
✨ ELLIS Unit Delft joined ELSA - European Lighthouse on Secure and Safe AI as an Associate Member. ✨ Anna Lukina will lead TU Delft’s involvement in the ELSA project over the next year. She states: “...
www.linkedin.com
September 9, 2025 at 10:01 AM
✔ It's SAIV 2025! We are excited to welcome you to Zagreb for this year’s International Symposium on AI Verification. #isaiv2025

www.aiverification.org/2025/

📄 The call for papers is open!

Abstract: April 17
Paper: April 24

🏆 VNN-COMP’25.

⚙ New: SAIV invites benchmark and case-study papers.
February 17, 2025 at 1:41 PM