Conatan Bouen — Britaniyalı kompüter alimi, proqram təminatının doğruluğunu təmin etmək üçün nəzəriyyə və praktika sahələrində böyük töhfələr vermişdir. O, həmçinin komputasiya nəzəriyyəsi, formal metodlar və proqramlaşdırma dillərinin inkişafı sahələrində tanınmışdır. Erkən həyat və təhsil Conatan Bouen 1953-cü ildə Böyük Britaniyanın Londan şəhərində doğulub. O, təhsilini Londondakı prestijli təhsil müəssisələrində alıb və burada kompüter elmləri, riyaziyyat və mühəndislik sahələrində dərin biliklər əldə edib. Bouen, həmçinin öz tədqiqatları ilə proqram təminatının doğruluğu məsələləri ilə maraqlanmağa başlamışdır. Karyera Conatan Bouen, kompüter elmləri sahəsindəki ən önəmli alimlərdən biri kimi tanınır. O, proqram təminatının doğruluğunu təmin etmək məqsədilə müxtəlif formal metodlar inkişaf etdirmişdir. Bouen, həmçinin formal təsdiqləmə (formal verification) metodunun tətbiqinə böyük töhfələr vermişdir. Bu metodlar, proqramların düzgün işləməsini təmin etmək üçün onların səhv və ya nasazlıqlarını qabaqcadan aşkar etməkdə kömək edir. Bouen, həmçinin müxtəlif beynəlxalq universitetlərdə professor kimi fəaliyyət göstərmişdir və burada bir çox mühüm tədqiqat layihələrinə rəhbərlik etmişdir. O, həmçinin çox sayda elmi məqalə və kitabın müəllifidir. Şəxsi həyat Conatan Bouen, tədqiqatları ilə yanaşı, kompüter elmləri sahəsində təhsil verərək gənc alımlara və tələbələrə rəhbərlik etmişdir. O, həmçinin proqram təminatının inkişafı və doğruluğu sahəsindəki elmi məsləhət xidmətləri ilə məşğuldur.

İstinadlar

https://sites.google.com/site/jpbowen/

https://philpeople.org/profiles/jonathan-bowen

https://www.gresham.ac.uk/speakers/professor-jonathan-bowen

https://communication.ucf.edu/person/jon-arthur-bowen/

https://www.rotman.uwo.ca/portfolio-items/bowen-jonathan/

https://popl19.sigplan.org/profile/jonathanbowen

https://en.wikipedia.org/wiki/Jonathan_Bowen

Tarix : 12 mart 2025

Əksi qeyd olunmayıbsa, bu məzmun CC BY-SA 4.0 çərçivəsində yayımlanır.