Burcu Kulahcioglu Ozkan

Postdoc Researcher

Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern, Germany Email: burcu at mpi-sws.org

LinkedIn Google Scholar DBLP Research Gate Github


Publications
Experience
Education
Professional Service
burcu

I am a postdoc researcher at Max Planck Institute for Software Systems, working with Rupak Majumdar. I got my PhD from Koc University under the supervision of Serdar Tasiran.

I am interested in software testing and verification, concurrent and distributed systems, visualization of software, and theoretical foundations of computer science.


Publications


Education

  • PhD. Koc University, Istanbul, Turkey, 2016
    Characterization and Verification of Correctness Criteria for Event Driven Asynchronous Programs
    Supervisor: Serdar Tasiran
  • MSc. Izmir Institute of Technology, Izmir, Turkey, 2010
    Utilization of Timed Automata as a Verification Tool for Security Protocols
    Supervisor: Ahmet Koltuksuz
  • BSc. Yeditepe University, Istanbul, Turkey, 2007
    Multiobjective Hyperheuristics for Data Clustering Problem
    Supervisors: Emin Erkan Korkmaz, Ender Ozcan

Research Experience

  • Postdoctoral Researcher (Feb. 2017 - current)
    Max Planck Institute for Software Systems, Kaiserslautern, Germany
  • Research and Teaching Assistant (Jul. 2012 - Sep. 2016)
    College of Engineering, Koç University, Istanbul, Turkey
  • Research Intern (Mar. 2014 – Jul. 2014)
    IMDEA Software Institute, Madrid, Spain
  • Research Intern (Jul. 2013 – Aug. 2013)
    LIAFA, Université Paris Diderot, Paris, France
  • Research Intern (Jun. 2013 – Aug. 2013)
    INRIA / Université Pierre et Marie Curie, Paris, France
  • Research and Teaching Assistant (Sep. 2010 – Jun. 2012)
    Yasar University, Izmir, Turkey
  • Research and Teaching Assistant (Dec. 2007 – Aug. 2010)
    Izmir Institute of Technology, Izmir, Turkey

Teaching Assistance Experience

  • Discrete Structures, Izmir Institute of Technology, Yasar University
  • Data Structures and Algorithms, Yasar University
  • Operating System Design, Izmir Institute of Technology, Koc University
  • Software Engineering, Yasar University, Koc University
  • Parallel Programming, Izmir Institute of Technology, Koc University


Professional Service

  • Reviewer for conferences:
    PC Member, Int. Conf. on Computer Aided Verification (CAV), 2019
    AEC Member, Int. Conf. on The European COnference On Programming languages (ECOOP), 2019
    PC Member, Int. Conf. on Embedded Software (EMSOFT) Work In Progress, 2018
    AEC Member, Int. Conf. on Computer Aided Verification (CAV), 2017
    External Reviewer, Int. Conf. on Runtime verification (RV), 2013
  • Reviewer for journals:
    ACM Transactions on Programming Languages and Systems (TOPLAS), 2018
    Special Issue on the Asia-Pacific Software Engineering Conference (APSEC), 2016
    Formal Methods in System Design (FMSD), 2014
    Software Testing, Verification and Reliability (STVR), 2013



bobrus
Imprint /
Data Protection