فریدریش ال باوئر

ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آلمانی
(تغییرمسیر از فردریش ال بائر)

فردریش لودویگ بائر (متولد ۱۰ ژوئن ۱۹۲۴ در رگنسبورگ - در گذشته ۲۶ مارس ۲۰۱۵) دانشمند کامپیوتر و استاد بازنشسته دانشگاه فنی مونیخ اهل آلمان است.[۱]

فردریش ال بائر
زادهٔ۱۰ ژوئن ۱۹۲۴ ‏(۱۰۰ سال)
درگذشت۲۶ مارس ۲۰۱۵
ملیتآلمانی
شناخته‌شده
برای
پشته
Sequential Formula Translation
الگول
جوایزصلیب آهنی
نشان افتخار شایستگی جمهوری فدرال آلمان
IEEE Computer Pioneer
پیشینه علمی
شاخه(ها)علوم رایانه
محل کاردانشگاه فنی مونیخ

مقالات

ویرایش
  • 1960 Sequential Formula Translation, Commun. ACM 3(2): 76-83, (together with Klaus Samelson), a very influential paper on compilers

کتاب‌ها

ویرایش

منابع

ویرایش
  1. "Mechanizing Proof: Computing, Risk, and Trust" By Donald MacKenzie

پیوند به بیرون

ویرایش