talks

Conference Keynotes:

• FORTE’25 - 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
  10-16 June 2025, University of Lille, Lille, France.
  Keynote: “From Formal Methods to Testing of Distributed Systems”

• SEFM’23 - 21st International Conference on Software Engineering and Formal Methods
  6-10 November 2023, Eindhoven University of Technology, The Netherlands.
  Keynote: ”Randomized Testing of Distributed Systems”

Invited Symposium, Workshop, and Research Talks:

• SEN’25 Symposium, National Symposium on Software engineering (SEN), 23 May 2025. Amsterdam, Netherlands.

• VDS’25 colocated with NETYS’25, Workshop on Verification of Distributed Systems, 19 May 2025. Rabat, Morocco.

• Sabanci University, Internal Research Seminar, 4 December 2024. Istanbul, Turkey.

• “IPA Fall Days on Models for Constructing Software”, 4-8 November 2024, The Institute for Programming research and Algorithmics, Netherlands.
  

• UBRI Connect’24, Ripple’s University Blockchain Research Initiative, 10-11 September 2024, in Zurich, Switzerland.
  Talk: ”Testing Blockchain Implementations”

• VDS’24 colocated with NETYS’24, Workshop on Verification of Distributed Systems, 27 May 2024. Rabat, Morocco.

• Amazon Research, Automated Reasoning Group, Internal Seminar, 21 February 2024. Online.

• University of Antwerp, AnSyMo Lab, 2 February 2024. Antwerp, Belgium.
  Keynote talk at the Advisory Meeting for “Towards Zero-Touch Testing”

• Vrije Universiteit Brussel, SOFT Lab, The Software Languages Seminar, 25 January 2024. Brussels, Belgium.

• AptosLabs, Internal Seminar, 1 December 2023. Online.

• SUMO (SUpervision of large MOdular and distributed systems) Research Group Seminar
  Inria Rennes Bretagne-Atlantique Research Center and IRISA lab, 01.2023, France (Hybrid). 9 January 2023.

• Adyen Internal Tech Talks, 9 February 2022.

• SEN’21 Symposium, National Symposium on Software engineering (SEN), 18-19 February 2021, online.

• FMT (Formal Methods and Tools) Group Seminar at the University of Twente. 1 July 2021.

• VDS’19 - Workshop on Verification of Distributed Systems colocated with the International Conference on Networked Systems (NETYS), 19-21 June 2019, Marrakesh, Morocco.

• IRIF (Research Institute on the Foundations of CS) Seminar. Paris Diderot University, 11 June 2019, France.

• Computer Engineering Department Seminar, Izmir Institute of Technology, December 2016, Izmir, Turkey.

• The Joint UMIC (Ultra high-speed Mobile Information and Communication) and Software for Embedded Systems Lab Seminar, RWTH Aachen University, February 2011, Aachen, Germany.

Invited Tutorials at Graduate Schools

• VLDB SS’25: Very Large Databases (VLDB) Summer School.
  Invited tutorial, 28-31 July 2025, University of Wroclaw, Wroclaw, Poland.

• DARE’23: First Summer School on Distributed and Replicated Environments.
  Invited tutorial, 11-15 September 2023, Vrije Universiteit Brussel (VUB), Brussels, Belgium.

• STV’23: Second Summer School on Security Testing and Verification
  Invited tutorial, 13-15 September 2023, Vrije Universiteit Brussel (VUB), Brussels, Belgium.

Invited Seminars

• Dagstuhl Seminar 23441: Ensuring the Reliability and Robustness of Database Systems.
  29 October - 3 November 2023, Schloss Dagstuhl, Wadern, Germany.

• Dagstuhl Seminar 23112: Unifying Formal Methods for Trustworthy Distributed Systems
  12-15 March 2023, Schloss Dagstuhl, Wadern, Germany.

• Dagstuhl Seminar 22492: Formal Methods and Distributed Computing: Stronger Together
  4-9 December 2022, Schloss Dagstuhl, Wadern, Germany.

• Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Systems
  1-4 November 2021, Schloss Dagstuhl, Wadern, Germany.

Invited Panel Discussions:

• Discussions with Experts - PL/SE for Concurrent / Distributed Systems.
  Joint DwE Track of ISSTA/ECOOP’21, the 30th Int. Symposium on Software Testing and Analysis (ISSTA’21) and the 35th European Conf. on Object-Oriented Programming (ECOOP’21). 16 July 2021. Online.

Interviews at Press:

• I/O Magazine, ICT Platform Nederland. Volume:19 No:4 (page:16), 2022.
  Article: “Challenges of Concurrency”