Robert Bruce Findler - Robert Bruce Findler

Robert Bruce FindlerHalk arasında "Robby" olarak bilinen, Amerikalı bir bilgisayar bilimcisi, şu anda şu anda elektrik mühendisliği ve bilgisayar bilimi profesörü. kuzeybatı Üniversitesi.[1] Ayrıca PLT grubunun bir üyesidir.[2] ve bu nedenle, yapımından ve bakımından sorumlu DrRacket. Ek olarak DrRacket Findler, birçok bileşene katkıda bulunmuştur. Raket ve PLaneT adlı Web tabanlı yazılım kitaplığını denetler. Findler, aynı zamanda önde gelen bir ekip üyesidir. ProgramByDesign proje.

Findler doktora derecesini Rice Üniversitesi yönetiminde Matthias Felleisen.[3] Tezini, popüler olarak bilinen yazılım sözleşmelerinin dilbilimi üzerineydi. sözleşme ile tasarım. Yazılım sözleşmeleri üzerindeki çalışması, suçun daha dikkatli bir şekilde hesaplanmasını sağlar, böylece programcıların bir yazılım sisteminin hatalı kısmına çabucak girmelerine yardımcı olur.

DrRacket ve yazılım sözleşmelerine ek olarak Findler, anlambilim mühendisleri için bir çalışma tezgahının tasarımına ve uygulanmasına odaklanır. Redex adı verilen bu çalışma tezgahı, bir azaltma semantiğini belirlemek ve Programlama dili. ABD ve Avrupa'daki programlama dili araştırmacıları tarafından kullanılmaktadır. Son zamanlarda, SUN'lar Kale araştırma ekibi, dillerinin önemli kısımlarını belirlemek ve keşfetmek için Redex'i kullandı.

Findler, Revised ^ 6 Report'un semantik editörü olarak görev yaptı. Şema Programlama dili. O ve doktora öğrencisi Jacob Matthews, raporun bir ekinde yer alan temel anlambilimin Redex modelini geliştirdi. Ek, aynı rolü oynar Standart ML resmi spesifikasyonu (Milner, Tofte, Harper, MacQueen) ancak çalıştırılabilir ve bu nedenle bireysel örnekleri görselleştirebilir.

Referanslar

  1. ^ Northwestern EECS fakülte listesi, erişim tarihi: 2012-06-23.
  2. ^ PLT grubu Brown University, erişim tarihi: 2012-06-23.
  3. ^ Robert Bruce Findler -de Matematik Şecere Projesi

Dış bağlantılar