Burcu Kulahcioglu Ozkan Google Scholar

Postdoc Researcher

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

Google Scholar DBLP Research Gate LinkedIn Github Gitlab


Publications
Experience
Education
Professional Service
Misc
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.

My research aims to improve the reliability of software by building program analysis, testing and verification techniques. As software systems have become ubiquitous in our lives, modern applications are designed to be highly concurrent, responsive, fault tolerant and distributed. Increased complexity of the software systems makes it more difficult to reason about possible behaviors of a system and to produce correct software. My goal is to advance the state of the art of software reliability techniques for modern programming models and software systems. To this end, my research lies at the intersection of software engineering, formal methods, programming models and languages.


Recent Events:


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'19)
    AEC Member, Int. Conf. on The European COnference On Programming languages (ECOOP'19)
    PC Member, Int. Conf. on Embedded Software (EMSOFT) Work In Progress, (EMSOFT'18)
    AEC Member, Int. Conf. on Computer Aided Verification (CAV'18)
  • SubReviewer for conferences:
    Int. Conf. on Runtime Verification (RV'15)
    European Conf. on Computer Systems (EuroSys'15)
    Int. Symp. on Formal Methods (FM'15)
    Int. Conf. on Runtime Verification (RV'14)
    Int. Conf. on Software Engineering and Formal Methods (SEFM'14)
    India Software Engineering Conference (ISEC'14)
    Int. Conf. on Runtime verification (RV'13)
  • 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