Greg Nelson (bilgisayar bilimcisi) - Greg Nelson (computer scientist)

Greg Nelson
Doğum
Charles Gregory Nelson

(1953-03-27)27 Mart 1953
Öldü2 Şubat 2015(2015-02-02) (61 yaş)
Bilinentatmin edilebilirlik modülo teorileri, genişletilmiş statik kontrol, program doğrulama,
ÖdüllerHerbrand Ödülü (2010)

Charles Gregory Nelson (27 Mart 1953 - 2 Şubat 2015) bir Amerikan bilgisayar uzmanı.

Biyografi

Nelson büyüdü Honolulu. Çocukken jimnastik ve teniste mükemmeldi. Üniversite Laboratuvar Okuluna gitti. Lisansını aldı. matematik derecesi Harvard Üniversitesi 1976'da. Doktora derecesini aldı. bilgisayar biliminde Stanford Üniversitesi 1980'de gözetiminde Robert Tarjan. Yaşadı Juneau kalıcı olarak yerleşmeden önce bir yıl boyunca San Francisco Körfez Bölgesi.

Önemli iş

Tez çalışması her ikisini de etkiledi program doğrulama ve otomatik teorem kanıtlama özellikle şu anda bilinen bölgede tatmin edilebilirlik modülo teorileri, birleştirme tekniklerine katkıda bulundu karar prosedürleri yanı sıra niceleyici içermeyen kısıtlamalar için verimli karar prosedürleri birinci dereceden mantık ve terim cebir. O aldı Herbrand Ödülü 2013 yılında:

Teorem ispatına ve program doğrulamasına öncü katkılarından dolayı, Derek Oppen ile tatmin edilebilirlik prosedürlerinin ve hızlı uyum kapatma algoritmalarının kombinasyonu üzerine yaptığı çığır açan çalışması, oldukça etkili teorem atasözü Simplify'ın geliştirilmesi ve alanın yaratılmasındaki rolü genişletilmiş statik kontrol.

Tarafından kullanılan Simplify teorem atasözünün geliştirilmesinde etkili oldu. ESC / Java Diğer birçok alanda da önemli katkılarda bulundu. Programlama dili tasarımı alanına üye olarak katkıda bulunmuştur. Modula-3 Kurul. Dağıtık sistemlerde Network Objects'e katkıda bulundu. Kısıt tabanlı grafik editörleri (Juno ve Juno-2), pencere sistemleri (Trestle), optimal ile öncü katkılar yaptı. kod üretimi (Denali) ve çok iş parçacıklı programlama (Silgi).

Dış bağlantılar