![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/8/86/Edmund_Clarke_FLoC_2006.jpg/640px-Edmund_Clarke_FLoC_2006.jpg&w=640&q=50)
ادموند ام کلارک
دانشمند علوم کامپیوتر و مهندس آمریکایی (۱۹۴۵–۲۰۲۰) / From Wikipedia, the free encyclopedia
ادموند ام کلارک (انگلیسی: Edmund M. Clarke؛ زادهٔ ۲۷ ژوئیهٔ ۱۹۴۵) یک دانشمند علوم رایانه و استاد دانشگاه آمریکایی بود که معروفیت او به دلیل توسعه بررسی روش برای تأیید رسمی طراحیهای سختافزار و نرمافزار بود. او استاد سیستمهای FORE در علوم رایانه در دانشگاه کارنگی ملون بود.
اطلاعات اجمالی ادموند ام کلارک, زادهٔ ...
بستن
کلارک به همراه ارنست آلن امرسون و جوزف سیفاکیس جایزه تورینگ ACM را در سال ۲۰۰۷ دریافت کردند.