SERVICE

PC Member: RV 2026, AAAI 2026, NeurIPS 2026, IJCAI-ECAI 2026, IJCAI 2025, CAV 2025, AAAI 2025, NeurIPS 2024, IJCAI 2024, ECAI 2024, FMCAD 2024, RV 2024, AAAI 2024, VMCAI 2024, TACAS 2024, RV 2023, iFM 2023, AAAI 2023, AAMAS 2023, CONCUR 2023, SPIN 2023, RV 2022, NSV 2022, CAV 2022, SAC 2022, AAAI-22, VMCAI 2022, AAAI-21, SAC 2021, IJCAI-PRICAI 2020, AAAI-20.

PC Member: RV 2026, AAAI 2026, NeurIPS 2026, IJCAI-ECAI 2026, IJCAI 2025, CAV 2025, AAAI 2025, NeurIPS 2024, IJCAI 2024, ECAI 2024, FMCAD 2024, RV 2024, AAAI 2024, VMCAI 2024, TACAS 2024, RV 2023, iFM 2023, AAAI 2023, AAMAS 2023, CONCUR 2023, SPIN 2023, RV 2022, NSV 2022, CAV 2022, SAC 2022, AAAI-22, VMCAI 2022, AAAI-21, SAC 2021, IJCAI-PRICAI 2020, AAAI-20.

Award committee member: VCLA International Student Award 2020, 2021.

Award committee member: VCLA International Student Award 2020, 2021.

Receiving DEWIS Award from Rector Magnificus, 2022

Meet The Professor in Delft, 2024

Interview for TU Delta Magazine, 2022

4.3 Organization and Outreach

July 20–21, 2025

International Symposium on AI Verification (SAIV) collocated with CAV 2025 in Zagreb, Croatia. Program Chair.

October 21, 2024

Verification Mentoring Workshop at ATVA 2024, Kyoto, Japan. Organizing committee and chair.

July 22–23, 2024

International Symposium on AI Verification (SAIV) collocated with CAV 2024 in Montreal, Canada. Program Chair.

July 17, 2023

3rd WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during CAV 2023, Paris, France. Organizing team.

November 15–23, 2022

F+Cube Week 2022 on TU Delft campus: Kick-off week of the Future Female+ Faculty (F+Cube) mentorship program connecting junior self-identified female computer scientists all over the world with senior faculty at TU Delft. Delft, The Netherlands. Head organizer.

August 11, 2022

2nd WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during FLoC 2022, Haifa, Israel. Organizing team.

July 23–26, 2022

The 31th International Joint Conference on Artificial Intelligence and The 23rd European Conference on Artificial Intelligence IJCAI-ECAI 2022, Vienna, Austria. Local Diversity & Inclusion Chair.

October 18, 2021

WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during ATVA 2021, virtually. Organizing team.

August 24–25, 2021

Borderless: Diversity of Academic and Industrial Careers across Continents during IJCAI-21. Organizer and moderator.

June 2, 2021

Zoom a Scientist: Introducing primary school students to robots and machine learning. Volunteer from IST Austria.

January 1 – May 5, 2021

TFCS Seminar at Simons Institute for the Theory of Computing, Berkeley, USA. Organizing committee member. Discussion group on Open Problems in Neural-Network Controlled Systems at Simons Institute for the Theory of Computing, Berkeley, USA. Leading facilitator.

December 19, 2020

Moderating a discussion around the documentary “Picture a Scientist” at the New Economic School Alumni event.

January 26, 2019

3D Projection Mapping “Steps of Logic”, Vienna Ball of Sciences, Austria.

October 1, 2018

Beginners’ Trail 2018, TU Wien, Vienna, Austria. Represented Cyber-Physical Systems Team consulting first-year bachelor students on the ongoing research activities.

September 10–13, 2018

SEMANTiCS Conference 2018, Vienna, Austria. A member of the volunteering team.

October 16–20, 2017

31st International Symposium on Distributed Computing, Vienna, Austria. A member of the volunteering team.

September 18–22, 2017

Alpine Verification Meeting/RiSE Workshop 2017, Budapest, Hungary. Formal and probabilistic verification, games, synthesis, and decision procedures. Head of the organizing committee.

September 26–29, 2016

RiSE Workshop 2016, Pöllauberg, Austria. Formal and probabilistic verification, games, synthesis, and decision procedures. Head of the organizing committee.erification Meeting/RiSE Workshop 2017, Budapest, Hungary. Formal and probabilistic verification, games, synthesis, and decision procedures. Head of the organizing committee.

April 11–14, 2016

CPSWeek 2016, Vienna, Austria. A member of the official organizing committee.

2026

created by NOT YOUR CHIBI

privacy policies

terms and conditions

2026

created by NOT YOUR CHIBI

privacy policies

terms and conditions

2026

created by NOT YOUR CHIBI

privacy policies

terms and conditions

2026

created by NOT YOUR CHIBI

privacy policies

terms and conditions

search

ASSISTANT PROFESSOR, TU DELFT

ASSISTANT PROFESSOR, TU DELFT

search

ASSISTANT PROFESSOR, TU DELFT

4.1 Steering Committees

01

ELLIS Unit Delft

02

F+Cube

03

SAIV

4.2 Program Committees

I have served as a program committee member for leading conferences in artificial intelligence and formal methods.

Award committee member: VCLA International Student Award 2020, 2021.

Receiving DEWIS Award from Rector Magnificus, 2022

Meet The Professor in Delft, 2024

Interview for TU Delta Magazine, 2022

4.3 Organization and Outreach

International Symposium on AI Verification (SAIV) collocated with CAV 2025 in Zagreb, Croatia. Program Chair.

Verification Mentoring Workshop at ATVA 2024, Kyoto, Japan. Organizing committee and chair.

International Symposium on AI Verification (SAIV) collocated with CAV 2024 in Montreal, Canada. Program Chair.

3rd WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during CAV 2023, Paris, France. Organizing team.

F+Cube​ Week 2022 on TU Delft campus: Kick-off week of the Future Female+ Faculty (F+Cube​) mentorship program connecting junior self-identified female computer scientists all over the world with senior faculty at TU Delft. Delft, The Netherlands. Head organizer.

2nd WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during FLoC 2022, Haifa, Israel. Organizing team.

The 31th International Joint Conference on Artificial Intelligence and The 23rd European Conference on Artificial Intelligence IJCAI-ECAI 2022, Vienna, Austria. Local Diversity & Inclusion Chair.

WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during ATVA 2021, virtually. Organizing team.

Borderless: Diversity of Academic and Industrial Careers across Continents during IJCAI-21. Organizer and moderator.

Zoom a Scientist: Introducing primary school students to robots and machine learning. Volunteer from IST Austria.

TFCS Seminar at Simons Institute for the Theory of Computing, Berkeley, USA. Organizing committee member. Discussion group on Open Problems in Neural-Network Controlled Systems at Simons Institute for the Theory of Computing, Berkeley, USA. Leading facilitator.

Moderating a discussion around the documentary “Picture a Scientist” at the New Economic School Alumni event.

3D Projection Mapping “Steps of Logic”, Vienna Ball of Sciences, Austria.

Beginners’ Trail 2018, TU Wien, Vienna, Austria. Represented Cyber-Physical Systems Team consulting first-year bachelor students on the ongoing research activities.

SEMANTiCS Conference 2018, Vienna, Austria. A member of the volunteering team.

31st International Symposium on Distributed Computing, Vienna, Austria. A member of the volunteering team.

Alpine Verification Meeting/RiSE Workshop 2017, Budapest, Hungary. Formal and probabilistic verification, games, synthesis, and decision procedures. Head of the organizing committee.

CPSWeek 2016, Vienna, Austria. A member of the official organizing committee.

F+Cube Week 2022 on TU Delft campus: Kick-off week of the Future Female+ Faculty (F+Cube) mentorship program connecting junior self-identified female computer scientists all over the world with senior faculty at TU Delft. Delft, The Netherlands. Head organizer.