دیوید گریس

از ویکی‌پدیا، دانشنامهٔ آزاد
دیوید گریس
زادهٔ۲۶ آوریل ۱۹۳۹
نیویورک، آمریکا
ملیتایالات متحده آمریکا

دیوید گریس (انگلیسی: David Gries؛ زادهٔ ۲۶ آوریل ۱۹۳۹) دانشمند رایانه و اهل ایالات متحده آمریکا است. وی در دانشگاه کرنل، ایالات متحده آمریکا در حال فعالیت می‌باشد. او عمدتاً به خاطر کتاب‌هایش به نام علم برنامه‌نویسی (۱۹۸۱) و رویکرد منطقی به ریاضی گسسته (۱۹۹۳، با «فرد بی. اشنایدر») شناخته شده است.[۱][۲]

او از سال ۲۰۰۳ تا ۲۰۱۱ معاون برنامه‌های کارشناسی در دانشکده مهندسی دانشگاه کرنل بود. زمینه‌های تحقیقاتی او شامل روش‌شناسی برنامه‌نویسی و زمینه‌های مرتبط مانند زبان‌های برنامه‌نویسی، معنی‌شناسی مرتبط و منطق است.[۳]

منابع[ویرایش]

  1. «A Logical Approach to Discrete Math».
  2. «A Logical Approach to Discrete Math (1993, with Fred B. Schneider)».
  3. «David Gries | Cornell Engineering». www.engineering.cornell.edu. دریافت‌شده در ۲۰۲۳-۱۰-۰۷.