Lawrence Paulson - Lawrence Paulson

Lawrence Paulson

FRS
Lawrence Paulson Kraliyet Derneği.jpg
Lawrence Paulson Kraliyet toplumu Londra'da kabul günü, Temmuz 2017
Doğum
Lawrence Charles Paulson

1955 (64–65 yaş)[1]
VatandaşlıkABD / İngiltere
gidilen okul
Bilinen
Eş (ler)
  • Susan Mary Paulson (ö. 2010)
  • Elena Tchougounova
Ödüller
Bilimsel kariyer
Alanlar
KurumlarCambridge Üniversitesi
Münih Teknik Üniversitesi
TezAnlamsal Gramerler için Bir Derleyici Üreticisi  (1981)
Doktora danışmanıJohn L. Hennessy[6]
İnternet sitesiwww.cl.kam.AC.uk/ ~ lp15/

Lawrence Charles Paulson FRS[2] (1955 doğumlu)[1] Amerikalı bilgisayar uzmanı. O bir Profesör nın-nin Hesaplamalı Mantık -de Cambridge Üniversitesi Bilgisayar Laboratuvarı ve bir Dost nın-nin Clare Koleji, Cambridge.[5][6][7][8][9]

Eğitim

Paulson, Kaliforniya Teknoloji Enstitüsü 1977'de[10] Doktora derecesini Bilgisayar Bilimleri alanında Stanford Üniversitesi 1981'de araştırma için Programlama dilleri ve derleyici derleyiciler tarafından denetlenir John L. Hennessy.[6][11]

Araştırma

Paulson geldi Cambridge Üniversitesi 1983'te ve Fellow of Clare Koleji, Cambridge 1987'de. Kendisi en çok programlama dilindeki köşe taşı metni ile tanınır. ML, Çalışan Programcı için Makine Öğrenimi.[12][13] Araştırması, etkileşimli teorem kanıtlayıcıya dayanıyor Isabelle 1986'da tanıttığı.[14] Doğrulaması üzerinde çalıştı kriptografik protokoller kullanma endüktif tanımlar,[15] ve ayrıca resmileştirdi inşa edilebilir evren nın-nin Kurt Gödel. Son zamanlarda yeni bir teorem kanıtlayıcısı MetiTarski inşa etti,[3] gerçek değerli özel işlevler için.[16]

Paulson, bir lisans dersi dersi veriyor. Bilgisayar Bilimi Tripos, başlıklı Mantık ve İspat[17] hangi kapakları otomatik teorem kanıtlama ve ilgili yöntemler. (O öğretirdi Bilgisayar Biliminin Temelleri[18] hangi tanıtır fonksiyonel programlama, ancak bu kursu devraldı Alan Mycroft ve 2017'de Amanda Prorok,[19] ve ardından 2019'da Anil Madhavapeddy ve Amanda Prorok.[20] )

Ödüller ve onurlar

Paulson seçildi 2017'de Kraliyet Cemiyeti Üyesi (FRS),[2] a Bilgi İşlem Makinaları Derneği Üyesi 2008 yılında[4] ve Enformatikte Mantık alanında Değerli bir Bağlı Profesör Münih Teknik Üniversitesi.[ne zaman? ][21]

Kişisel hayat

Paulson'un 2010 yılında ölen ilk eşi Dr. Susan Mary Paulson'dan iki çocuğu var.[22] 2012'den beri Dr Elena Tchougounova ile evlidir.[1]

Referanslar

  1. ^ a b c Anon (2017). "Paulson, Prof. Lawrence Charles". Kim kim. ukwhoswho.com (internet üzerinden Oxford University Press ed.). A & C Black, Bloomsbury Publishing plc'nin bir baskısı. doi:10.1093 / ww / 9780199540884.013.289302. (abonelik veya İngiltere halk kütüphanesi üyeliği gereklidir) (abonelik gereklidir)
  2. ^ a b c Anon (2017). "Profesör Lawrence Paulson FRS". royalsociety.org. Londra: Kraliyet toplumu. Alındı 5 Mayıs 2017.
  3. ^ a b Akbarpour, B .; Paulson, L.C. (2009). "Meti Tarski: Gerçek Değerli Özel Fonksiyonlar için Otomatik Bir Teorem Prover ". Otomatik Akıl Yürütme Dergisi. 44 (3): 175. CiteSeerX  10.1.1.157.3300. doi:10.1007 / s10817-009-9149-2. S2CID  16215962.
  4. ^ a b Anon (2008). "Profesör Lawrence C. Paulson". awards.acm.org. Bilgi İşlem Makineleri Derneği. Alındı 12 Nisan 2016.
  5. ^ a b c d Lawrence Paulson tarafından indekslenen yayınlar Google Scholar Bunu Vikiveri'de düzenleyin
  6. ^ a b c Lawrence Paulson -de Matematik Şecere Projesi
  7. ^ Lawrence Paulson adresinde yazar profili sayfası ACM Dijital kütüphane
  8. ^ Lawrence C. Paulson -de DBLP Kaynakça Sunucusu Bunu Vikiveri'de düzenleyin
  9. ^ Lawrence Paulson tarafından indekslenen yayınlar Scopus bibliyografik veritabanı. (abonelik gereklidir)
  10. ^ Lawrence Paulson ORCID  0000-0003-0288-4279
  11. ^ Paulson, Lawrence Charles (1981). Anlamsal Dilbilgisi için Derleyici Oluşturucu (PDF). cl.cam.ac.uk (Doktora tezi). Stanford Üniversitesi. OCLC  757240716.
  12. ^ Paulson, Lawrence (1996). Çalışan programcı için makine öğrenimi. Cambridge New York: Cambridge University Press. ISBN  978-0521565431.
  13. ^ "Çalışan Programcı için Makine Öğrenimi". Cambridge Üniversitesi. Alındı 25 Kasım 2015.
  14. ^ Paulson, L.C. (1986). "Daha yüksek dereceli çözünürlük olarak doğal kesinti". Mantık Programlama Dergisi. 3 (3): 237–258. arXiv:cs / 9301104. doi:10.1016/0743-1066(86)90015-4. S2CID  27085090.
  15. ^ Paulson, Lawrence C. (1998). "Kriptografik protokolleri doğrulamak için endüktif yaklaşım". Bilgisayar Güvenliği Dergisi. 6 (1–2): 85–128. CiteSeerX  10.1.1.57.2049. doi:10.3233 / JCS-1998-61-205. ISSN  1875-8924.
  16. ^ Paulson, L. C. (2012). "Meti Tarski: Geçmiş ve gelecek". Etkileşimli Teorem Kanıtlama. Bilgisayar Bilimlerinde Ders Notları. 7406. s. 1–10. CiteSeerX  10.1.1.259.5577. doi:10.1007/978-3-642-32347-8_1. ISBN  978-3-642-32346-1.
  17. ^ Paulson, Larry. "Mantık ve Kanıt". Cambridge Üniversitesi. Alındı 27 Ocak 2020.
  18. ^ Paulson, Larry. "Bilgisayar Biliminin Temelleri". Alındı 25 Kasım 2015.
  19. ^ "Bilgisayar Bilimi ve Teknolojisi Bölümü - Kurs sayfaları 2017–18: Bilgisayar Biliminin Temelleri". www.cl.cam.ac.uk. Alındı 27 Ocak 2020.
  20. ^ "Bilgisayar Bilimi ve Teknolojisi Bölümü - Kurs sayfaları 2019–20: Bilgisayar Biliminin Temelleri". www.cl.cam.ac.uk. Alındı 27 Ocak 2020.
  21. ^ "Randevu Sertifikası" (PDF). TU Münih. Alındı 12 Nisan 2016.
  22. ^ Paulson, Lawrence (2010). "Susan Paulson, Doktora (1959–2010)". Cambridge Üniversitesi. Alındı 25 Kasım 2015.