Corrado Böhm — İtalyan kompüter alimi və proqramçı, xüsusilə funksional proqramlaşdırma və proqram təminatının nəzəriyyəsi sahələrində tanınır. O, kompüter elmləri sahəsində mühüm töhfələr vermiş və proqramlaşdırma dilləri ilə bağlı bir çox elmi işlərin müəllifi olmuşdur. Erkən həyat və təhsil Corrado Böhm, 1926-cı ildə İtaliyada doğulub. O, Roma Universitetində təhsil almış və burada kompüter elmlərinə və proqramlaşdırma dillərinə olan marağını inkişaf etdirmişdir. Böhm, həmçinin riyaziyyat və nəzəri kompüter elmləri sahələrində mühüm biliklər əldə etmişdir. Karyera Böhm, funksional proqramlaşdırma və proqramlaşdırma dilləri ilə bağlı bir çox nəzəriyyənin inkişafına rəhbərlik etmişdir. O, həmçinin, proqram təminatının doğruluğunu və effektivliyini təmin etmək məqsədilə müxtəlif metodlar təqdim etmişdir. Böhm, xüsusilə λ-kalkülus və onun proqramlaşdırma dillərində tətbiqləri sahəsindəki tədqiqatları ilə tanınır. Böhm, müxtəlif beynəlxalq universitetlərdə dərs demiş və bir çox mühüm layihələrə rəhbərlik etmişdir. Onun yazdığı bir çox elmi məqalə və kitablar bu sahələrdəki tədqiqatçılar üçün əhəmiyyətli qaynaqlar olmuşdur. Şəxsi həyat Corrado Böhm, həmçinin kompüter elmləri sahəsindəki gənc alımlara təhsil vermək və onları bu sahəyə yönləndirmək məqsədilə müxtəlif tədris və seminarlar təşkil etmişdir. O, həmçinin proqramlaşdırma dilləri və alqoritmlər sahəsindəki tədqiqatlarına davam etmişdir.

İstinadlar

http://wwwusers.di.uniroma1.it/~boehm/

https://eatcs.org/index.php/component/content/article/1-news/2574-obituary-for-corrado-bohm

https://www.cs.ru.nl/~henk/HB.Boehm.pdf

https://www.di.unito.it/errors/404.html

https://www.di.unito.it/errors/404.html

https://arxiv.org/abs/1812.02243

https://en.wikipedia.org/wiki/Corrado_B%C3%B6hm

Tarix : 12 mart 2025

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