2007’de Atılım Üniversitesi’nin Bilgisayar Mühendisliği Bölümü’nden mezun oldu. 2009’da aynı bölümde yüksek lisansını bitirdi. 2007-2010 yılları arasında Atılım Üniversitesi’nde araştırma görevlisi olarak çalıştı. 2014’te Leeds Üniversitesi’nin Matematik Bölümü’nde doktorasını tamamladı. 2015-2016 akademik yılında Kaliforniya Üniversitesi Berkeley’de doktora sonrası ziyaretçi araştırmacı olarak Matematik Bölümü'nde bulundu. 2015’ten beri Orta Doğu Teknik Üniversitesi’nin Felsefe Bölümü'nde, Matematik Bölümü'nde ve Bilgisayar Mühendisliği Bölümü'nde çeşitli dersler vermeye devam etmekte, Ocak 2018’den beri Jandarma ve Sahil Güvenlik Akademisi’nde öğretim üyeliğini sürdürmektedir. İlgi alanları matematiksel mantık, hesaplanabilirlik kuramı, teorik bilgisayar bilimi ve matematik felsefesidir.