Can Cebeci

PhD Student
INN 331
Station 14
1015 Lausanne, Switzerland

I’m a first year PhD student in Dependable Systems Lab. My research interests center around Formal Methods and Computer Systems. Most recently, I’ve been working on formally describing and reasoning about the performance of synchronization primitives.

Before joining DSLAB, I received a BSc in Computer Science from Bilkent University, Turkey in 2021.

My hobbies include origami, reading sci-fi & fantasy, and musical theatre.


I am currently a teaching assistant for CS-306 Software Development Project, where I co-coach four teams of students as they build wonderful Android applications.