Oxford’da Matematik ve Bilgisayar Bilimleri okuyorum. En çok, soyut ve zarif teorinin gerçek sistemlerin karmaşıklığıyla buluştuğu alanlar ilgimi çekiyor.

Son zamanlarda tip teorisi ve alt-yapısal tipler, eşzamanlılık ve makine öğrenmesinin matematiksel temelleri üzerine yoğunlaşıyorum. Bir şeyi gerçekten anlamanın en iyi yolunun onu inşa etmek olduğuna inanıyorum — bazen sıfırdan bağımsız bir yeniden uygulama, bazen de semantik bir arama motoru. Kullandığım servislerin çoğunu da kendi sunucularımda çalıştırıyorum.

Bana ulaşmanın en kolay yolu e-posta: [email protected]. Ayrıca GitHub ve LinkedIn.