Invited Talks

Conference Keynotes:

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

Invited Tutorials, Seminars, Symposium and Research Talks:

• Sabanci University, Computer Science and Engineering, Internal 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.
  “Model-Guided Testing of Distributed Systems”

• UBRI Connect’24, Ripple’s University Blockchain Research Initiative, 10-11 September 2024, in Zurich, Switzerland.
  ”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.

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

• 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.

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

• 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.

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

• Adyen Internal Tech Talks, 9 February 2022.

• SEN Symposium’21: National Symposium Software Engineering in The Netherlands
  Invited talk, 18-19 February 2021, online.

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

• 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) Invited talk, 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 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”