Burak Ekici

Publications (latest) [dblp]

• Formalising Asynchronous Session Subtyping
  B. Ekici and N. Yoshida at ACM-TOCL, May 2026.
 
• Formalising Subject Reduction and Progress for Multiparty Session Processes
  B. Ekici, T. Kamegai and N. Yoshida at ITP 2025.
 
• Completeness of Asynchronous Session Tree Subtyping in Coq
  B. Ekici and N. Yoshida at ITP 2024.
 
• Formal Verification of Bit-vector Invertibility Conditions in Coq
  B. Ekici, A. Viswanathan, Y. Zohar, C. Tinelli and C. Barrett at FroCoS 2023.
 

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

• Formal Categorical Reasoning @ TJM Math2022 Webinar

• Univalent Typoids in Coq @ TYPES in Munich

Software development

• See my GitHub account

Curriculum Vitae

• CV as of June 2024.