Daha açık ve daha gizli bir internet için sistemler araştırıyor ve inşa ediyorum.

Gizliliğin, özgürlüğün ve merkeziyetsizliğin yalnızca fikirler ya da retorik üzerinden değil, çalışan sistemler aracılığıyla savunulması gerektiğine inanan bir yazılım geliştirici ve bağımsız araştırmacıyım.

Çalışmalarım, güveni en aza indiren teknolojileri inşa etmeye ve incelemeye odaklanıyor: merkezi otoritelere, şirketlere ya da tekil kontrol noktalarına olan bağımlılığı azaltmak için tasarlanan sistemler. Başlıca ilgi alanlarım uygulamalı kriptografi, dağıtık sistemler, blokzincir mimarileri ve konsensüs mekanizmaları. Güvenlik, sadelik ve uzun vadeli dayanıklılık bu çalışmaların merkezinde yer alıyor.

Çoğunlukla Rust ile çalışıyorum ve yalnızca verimli ve güvenli değil, aynı zamanda okunabilir, anlaşılabilir ve sürdürülebilir yazılımlar inşa etmeyi çok önemsiyorum. Benim için sadelik estetik bir minimalizm değil; bir güvenlik özelliğidir.

Formal verification alanını gerçek bir merak ve inançla takip ediyorum. Bunun, daha az kırılgan, daha güvenilir ve temelde daha güvenli yazılımlar inşa etmek için en önemli yönlerden biri olduğuna inanıyorum.

Daha geniş hedefim, dijital dünyayı daha güvenli, daha merkeziyetsiz, sansüre karşı daha dayanıklı ve bireysel otonomiye daha saygılı hale getiren teknolojilere katkı sunmak. Bu; gözetim, baskı ve merkezi kontrol karşısında direnebilen savunmacı güvenlik ve gizlilik koruyucu sistemler üzerine araştırma yapmayı da içeriyor.

“Cypherpunkler kod yazar. Birilerinin gizliliği savunacak yazılımlar yazması gerektiğini biliyoruz; ve hepimiz bunu yapmadıkça gizliliğe sahip olamayacağımız için, onu biz yazacağız.”