Skip to content

Home
Research
Team
Teaching
Service
Awards
Publications
Talks
Visits
CV

Anna_Lukina_PhD_Thesis_2019

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Δ

Assistant Professor, TU Delft

The Netherlands
Email
DBLP
Google Scholar
ORCID
arXiv
GitHub
LinkedIn

Recent news

11/24 Symposium on AI Verification (SAIV) will be colocated with CAV 2025!
10/24: Organizing Verification Mentoring Workshop at ATVA 2024 in Kyoto was a great experience!
9/24: Inspiring brainstorm sessions in Dagstuhl on Explainable AI for Sequential Decision Making.
7/24: Daniël Vos wins best pitch at AI PhD Poster Day 2024!

Search for:

WordPress Theme | Square by HashThemes