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

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'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:
    Turkish Journal of Electrical Engineering and Computer Sciences, 2019
    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