Burak Ekici
e-mail: burak.ekici@cs.ox.ac.uk
office: Department of Computer Science, University of Oxford, Wolfson Building, Room 404.
previous employment
Publications (selected) [dblp]
-
Completeness of Asynchronous Session Tree Subtyping in Coq
B. Ekici and N. Yoshida at ITP 2024 (to appear).
- Formal Verification of Bit-vector
Invertibility Conditions in Coq
B. Ekici, A. Viswanathan, Y. Zohar, C. Tinelli and C. Barrett at FroCoS 2023.
- Formal categorical reasoning
B. Ekici at Turkish Journal of Mathematics, vol. 46, no. 4, May 2022.
- Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq
B. Ekici and C. Kaliszyk at Mathematics in Computer Science, February 2020.
- IMP with exceptions over decorated logic
B. Ekici at Discrete Mathematics and Theoretical Computer Science, vol. 20, no. 2, October 2018.
- Concrete Semantics with Coq and CoqHammer
Ł. Czajka, B. Ekici and C. Kaliszyk at CICM 2018.
-
SMTCoq: A plug-in for integrating SMT solvers into Coq
B. Ekici, A. Mebsout, C. Tinelli, C. Keller, G. Katz, A. Reynolds and C. Barrett at CAV 2017.
-
Hilbert-Post completeness for the state and the exception effects
J.-G. Dumas, D. Duval, B. Ekici, D. Pous and J.-C. Reynaud at MACIS 2015.
Teaching
- Main Course: Operating Systems (2022-2023)
- Main Course: Programming Language Concepts (2019-2020, 2022-2023)
- Main Course: Formal Languages and Abstract Machines (2020··2023)
- Main Course: Functional Programming (2022-2023)
- Main Course: Category Theory in Computer Science (2021-2022)
- Main Course: Fundamentals of Programming I (2021-2022)
- Main Course: Digital Design (2019-2020)
- Main Course: Microprocessors (2019-2020)
- Proseminar:
Discrete Mathematics (2018-2019)
Recent Talks
Software development
Curriculum Vitae