WikiDer > Bayron Kuk (kompyuter olimi)
Byron Cook (computer scientist)
 | Bu tirik odamning tarjimai holi qo'shimcha kerak iqtiboslar uchun tekshirish. (2011 yil sentyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) |
Doktor Bayron Kuk | |
|---|---|
| Millati | Qo'shma Shtatlar |
| Kasb | informatika tadqiqotchisi |
| Ma'lum | Tugatish tahlili |
Doktor Bayron Kuk amerikalik Kompyuter fanlari tadqiqotchi London universiteti kolleji.[1] Bayronning tadqiqot yo'nalishlari quyidagilarni o'z ichiga oladi dasturni tahlil qilish/tekshirish, dasturlash tillari, isbotlovchi teorema, mantiq, apparat dizayni va operatsion tizimlar. Bayronning so'nggi ishi uchun avtomatik asboblarni ishlab chiqarishga qaratilgan
- Biologik modellarning xususiyatlarini tasdiqlash,
- Tugatish va hayotni tasdiqlash,[2] va
- O'zgaruvchan ma'lumotlar tuzilmalari bilan bog'liq bo'lmagan invariantlarni aniqlash.[3]
Mukofotlar va mukofotlar
2009 yilda Kuk g'olib bo'ldi Rojer Nidxem mukofoti. Uning ommaviy ma'ruzasi "Dasturlarning oxir-oqibat yaxshilik qilishini isbotlash" mavzusida edi.[4]
Kuk 2019 yilda Qirollik muhandislar akademiyasining a'zosi etib saylandi. [5]
Adabiyotlar
- ^ "University College London".
- ^ "T2 loyihasi veb-sayti". Arxivlandi asl nusxasi 2015-06-26.
- ^ "SLAyer loyihasi veb-sayti". Arxivlandi asl nusxasi 2008-12-08 kunlari.
- ^ Rojer Nidxem mukofoti BCS veb-saytida
- ^ [https://aws.amazon.com/blogs/security/aws-security-profile-byron-cook-director-aws-automated-reasoning-group Amazon veb-xizmatlari blogi