bio

General Information

Short Bio Burcu Kulahcioglu Ozkan is an assistant professor and Delft Technology Fellow in the Software Engineering Research Group at TU Delft. She received her PhD from Koç University in Istanbul, Turkey, followed by postdoctoral research at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. Her research focuses on formal methods, model checking, software testing, and debugging of concurrent programs and distributed systems. She is a recipient of the academic research awards and grants from Amazon Research, Ripple University Research Initiative, and Stellar Development Foundation.
Web https://burcuku.github.io/home/

Experience

  • 09.2020 - now
    Assistant Professor in Software Engineering
    Delft University of Technology (TU Delft), Delft, Netherlands
    • Leading the "Software Reliability of Concurrent and Distributed Systems" research team
  • 02.2017 - 08.2020
    Postdoctoral Researcher
    Max Planck Institute for Software Technology (MPI-SWS), Kaiserslautern, Germany
    • At Rigorous Software Engineering, led by Rupak Majumdar
  • 07.2012 - 09.2016
    PhD Student and Research Assistant
    Koç University, Istanbul, Turkey
    • At Multi-Core Software Engineering, led by Serdar Tasiran
  • 03.2014 - 07.2014
    Research Intern
    IMDEA Software Institute, Madrid, Spain
  • 07.2013 - 08.2013
    Research Intern
    LIAFA (IRIF), Université Paris Diderot, Paris, France
  • 07.2013 - 08.2013
    Research Intern
    INRIA, Université Pierre Marie Curie, Paris, France
  • 09.2010 - 06.2012
    Research and Teaching Assistant
    Yasar University, Izmir, Turkey
  • 12.2007 - 08.2010
    Research and Teaching Assistant
    Izmir Institute of Technology, Izmir, Turkey

Education

  • 2016
    PhD
    Koç University, Istanbul, Turkey
    • PhD. Thesis. "Characterization and Verification of Correctness Criteria for Event Driven Asynchronous Programs"
  • 2010
    MSc
    Izmir Institute of Technology, Izmir, Turkey
    • Msc. Thesis. "Utilization of Timed Automata as a Verification Tool for Security Protocols"
  • 2007
    BSc
    Yeditepe University, Istanbul, Turkey
    • BSc Thesis. "Multiobjective Hyperheuristics for Data Clustering Problem"

Honors and Awards

  • 2023
    • Distinguished Paper Award at OOPSLA'23
    • With the paper “Randomized testing of Byzantine fault tolerant algorithms”
  • 2023
    • Stellar Academic Research Grant
    • With the research proposal “Feedback-guided fault injection testing of blockchain systems”
  • 2023
    • Ripple Bug Bounty Program Award
    • For the bug we discovered by our ByzzFuzz randomized testing method for testing Byzantine fault tolerant algorithms
  • 2022
    • Amazon Research Award
    • With the research proposal "Coverage-directed random testing of distributed systems"
  • 2020
    • Delft Technology Fellowship Award
    • Award for outstanding female academic researchers
  • 2018
    • Distinguished Paper Award at OOPSLA'18
    • With the paper “Randomized Testing of Distributed Systems with Probabilistic Guarantees”
  • 2011
    • TUBITAK Fellowship for PhD Students
    • The Turkish Council for Scientific and Technical Research
  • 2008
    • TUBITAK Fellowship for International Scientific Activities
    • The Turkish Council for Scientific and Technical Research
  • 2007
    • High Honour and 3rd Degree Award in Graduation
    • Yeditepe University, Istanbul, Turkey
  • 2007
    • TUBITAK Fellowship for 4th Grade Undergraduate Students
    • The Turkish Council for Scientific and Technical Research