Burak Ekici

Burak Ekici

I completed my PhD in December 2015 at the EDMSTII, University Joseph Fourier under the supervisions of Jean-Guillaume Dumas, Dominique Duval and Damien Pous.

Contact Info

e-mail: Burak dot Ekici at imag dot fr
office: LJK - 51, rue des Mathématiques, B.P. 53 - 38041 Grenoble Cedex 9 - France
tel: +33 (0)4 76 51 45 61
bureau: 16

Research Topics

Programming language semantics, computational effects, formal proofs, Coq.


Formal proofs and Coq libraries to cope with computational effects: See coqeffects web-page.


  1. IMP with exceptions over decorated logic.
    Burak Ekici. (presented at TFP 2015)
  2. Hilbert-Post completeness for the state and the exception effects.
    Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous and Jean-Claude Reynaud.
    MACIS 2015 : Sixth International Conference on Mathematical Aspects of Computer and Information Sciences,
    Berlin, Germany, 11--13 November 2015.
    (to appear in LNCS).
  3. Certified proofs in programs involving exceptions. [.pdf | BibTeX]
    Jean-Guillaume Dumas, Dominique Duval, Burak Ekici and Jean-Claude Reynaud.,
    CICM 2014 : Eigth Conference on Intelligent Computer Mathematics, Coimbra, Portugal, 7--11 July 2014,
    CEUR Workshop Proceedings, no 1186, paper 20.
  4. Formal verification in Coq of program properties involving the global state effect. [.pdf | BibTeX]
    Jean-Guillaume Dumas, Dominique Duval, Burak Ekici and Damien Pous.,
    JFLA 2014 : Journées Francophones des Langages Applicatifs, Fréjus, France, 8--11 January 2014.
  5. Implementation of Search Strategies in Control Network Programming. [.pdf]
    K. Kratchanov, E. Golemanova, T. Golemanov, T. Ercan, B. Ekici.,
    Procedural and Non-Procedural In: Proc. Intl. Symposium in Innovations in Intelligent Systems
    and Applications (INISTA 2010), June 2010, Kayseri, Turkey, 386-390.
  6. Implementations of Category Theory in Computer Science.
    Ekici B., Yucel C., Kilinc G., Koltuksuz A.,
    9th National Mathematics Symposium, Karadeniz Technical University, October 2010 (In Turkish).
    PhD thesis     Master's thesis

Recent Talks


    Upcoming events:     Some past events:     Curriculum Vitæ:

Last update: December 2015.