Henk Barendregt
ہینڈرک پیٹر (ہینک) بیرینڈریگٹ (پیدائش 18 دسمبر 1947، ایمسٹرڈیم) ایک ڈچ منطق ہے، جو لیمبڈا کیلکولس اور ٹائپ تھیوری میں اپنے کام کے لیے جانا جاتا ہے۔ زندگی اور کام بیرینڈریگٹ نے اتریچٹ یونیورسٹی میں ریاضیاتی منطق کا مطالعہ کیا، 1968 میں اپنی ماسٹر ڈگری اور 1971 میں اپنی پی ایچ ڈی حاصل کی، دونوں کم لاڈ، ڈرک وین ڈیلن اور جارج کریسیل کے تحت۔ اسٹینفورڈ یونیورسٹی میں پوسٹ ڈاکٹریٹ کی پوزیشن کے بعد، انہوں نے اتریچٹ یونیورسٹی میں پڑھایا۔ 1986 سے، بیرینڈریگٹ ریڈباؤڈ یونیورسٹی نجمیگن میں پڑھاتے رہے ہیں، جہاں اب وہ فاؤنڈیشنز آف میتھمیٹکس اینڈ کمپیوٹر سائنس کے سربراہ ہیں۔ ان کا تحقیقی گروپ تعمیری انٹرایکٹو ریاضی پر کام کرتا ہے۔ وہ کارنیگی میلن یونیورسٹی، پٹسبرگ، امریکہ میں ایڈجنکٹ پروفیسر بھی ہیں۔ وہ ڈرمسٹڈٹ، ای ٹی ایچ زیورخ، سینا اور کیوٹو میں وزٹنگ اسکالر رہے ہیں۔ بیرینڈریگٹ 1992 میں اکیڈمیا یوروپیا کے رکن منتخب ہوئے۔ 1997 میں بیرینڈریگٹ رائل نیدرلینڈز اکیڈمی آف آرٹس اینڈ سائنسز کے رکن منتخب ہوئے۔ 6 فروری 2003 کو بیرینڈریگٹ کو 2002 کے لیے سپینوزا پریمی سے نوازا گیا، جو نیدرلینڈز کا سب سے بڑا سائنسی اعزاز ہے۔ 2002 میں انہیں آرڈے وین ڈی نیدرلینڈز لیو میں نائٹ کا خطاب دیا گیا۔ بیرینڈریگٹ کو 2015 میں ہیریئٹ واٹ یونیورسٹی سے اعزازی ڈاکٹریٹ کی ڈگری ملی۔ منتخب اشاعتیں-ایرراٹا حوالہ جات بیرونی روابط دیکھیں ڈیٹا بیس میں بیرینڈریگٹ کا ہوم پیج مصنف پروفائل zbMATH 1947 پیدائشیں زندہ لوگ ڈچ کمپیوٹر سائنس دان اکیڈمیا یوروپیا کے ممبران رائل نیدرلینڈز اکیڈمی آف آرٹس اینڈ سائنسز کے ریڈباؤڈ یونیورسٹی کے تعلیمی عملے کے اراکین نجمیگن اسپنزا انعام یافتہ اتریچٹ یونیورسٹی کے سابق طلباء ایمسٹرڈیم کے تکنیکی یونیورسٹی ڈرمسٹڈٹ کے تعلیمی عملے کے سائنس دان