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

فردریش لودویگ بائر (متولد ۱۰ ژوئن ۱۹۲۴ در رگنسبورگ - در گذشته ۲۶ مارس ۲۰۱۵) دانشمند کامپیوتر و استاد بازنشسته دانشگاه فنی مونیخ اهل آلمان است."Mechanizing Proof: Computing, Risk, and Trust" By Donald MacKenzie

 مقالات 

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

 کتاب‌ها 

 1964 Introduction to Algol, F.L. Bauer, R. Baumann, M. Feliciano, K. Samelson, Prentice Hall, 
 2006 Decrypted Secrets: Methods and Maxims of Cryptology 4th edition, New York, Springer, 

 منابع 

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

 Oral history interview with Friedrich L. Bauer, Charles Babbage Institute, University of Minnesota. Bauer discusses his education and early research, including the European side of the development of Algol, as well as his later work in numerical analysis and programming languages. (انگلیسی)
 Photograph of F. L. Bauer (provided by Brian Randell) (انگلیسی)
 Bauer about Rutishauser at a symposium at the ETH Zürich in 2002 (انگلیسی)

رده:آموزگاران علم رایانه
رده:اعضای آکادمی علوم اتریش
رده:اهالی رگنسبورگ
رده:پیشگامان رایانه
رده:تاریخ‌نگاران ریاضی
رده:دانشمندان رایانه اهل آلمان
رده:دانش‌آموختگان دانشگاه لودویگ ماکسیمیلیان مونیخ
رده:درگذشتگان ۲۰۱۵ (میلادی)
رده:دریافت‌کنندگان نشان ماکسیمیلیان بایرن برای علم و هنر
رده:ریاضی‌دانان اهل آلمان
رده:ریاضی‌دانان سده ۲۰ (میلادی) اهل آلمان
رده:ریاضی‌دانان سده ۲۱ (میلادی) اهل آلمان
رده:زادگان ۱۹۲۴ (میلادی)
رده:محققان مهندسی نرم‌افزار
رده:مهندسان نرم‌افزار
رده:نظامیان آلمانی حاضر در جنگ جهانی دوم
رده:طراحان زبان‌های برنامه‌نویسی
رده:صلیب افسری نشان افتخار شایستگی جمهوری فدرال آلمان