Can Cebeci
PhD Student
EPFL - IC - DSLAB
INN 331
Station 14
1015 Lausanne, Switzerland
can.cebeci@epfl.ch
I’m a fourth year PhD student at EPFL, supervised by Prof. George Candea and Prof. Clément Pit-Claudel. My research interests are broadly in Formal Methods and Computer Systems.
My earlier PhD work is on designing practical abstractions and workflows for low-effort verification of low-level systems code. To this end, I tinkered with memory models and stable SMT encodings for symbolic execution. Most recently, I have been working on demystifying SMT performance in the context of solver-aided tools, in order to understand and address solver explosion and instability systematically.
Ping me if you’d like to chat about symbolic execution, solver-aided verification, or SMT instability!
Outside of the lab, you can find me running events for the computer science PhDs’ association (EPIC), or on stage with ET Cetera, The Village Players, and TMT.
Before joining EPFL, I received a BSc in Computer Science from Bilkent University, Turkey.
Publications
Practical Verification of System-Software Components Written in Standard C
Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel
SOSP 2024
Teaching
- CS-522: Principles of Computer Systems (Fall ‘24, Fall ‘23, Fall ‘22)
- CS-306: Software Development Project (Spring ‘24, Spring ‘23, Spring ‘22)
Mentoring
I have had the pleasure of mentoring (or co-mentoring) internships, theses, and semester projects carried out by the following students. Please reach out at projects@dslab.org if you’d like to collaborate.
- Kevin Solmssen (Fall ‘24)
- Priyansh Rathi (Summer ‘24)
- Stephane Selim (Fall ‘23)
- Simon Henniger (Fall ‘23)
- Yi Rong (Summer ‘23)
- Basant Elhussein Abdelaal (Summer ‘23)
- Adrien Bouquet (Spring ‘23)
- Loïc Montandon (Spring ‘22)