Zhiming Liu (computer scientist)
زیمنگ لیو (، پیدائش 10 اکتوبر 1961، ہیبی، چین) ایک کمپیوٹر سائنسدان ہے۔ انہوں نے چین کے لوویانگ، ہینان میں ریاضی کی تعلیم حاصل کی اور 1982 میں اپنی پہلی ڈگری حاصل کی۔ انہوں نے چینی اکیڈمی آف سائنسز (1988) کے انسٹی ٹیوٹ آف سافٹ ویئر سے کمپیوٹر سائنس میں ماسٹر ڈگری حاصل کی، اور یونیورسٹی آف واروک (1991) سے پی ایچ ڈی کی ڈگری حاصل کی۔ ان کا پی ایچ ڈی مقالہ فالٹ ٹالرنٹ پروگرامنگ بائی ٹرانسفارمیشنز پر تھا۔ پی ایچ ڈی کے بعد، زیمنگ لیو نے 1991-1992 میں ڈینمارک کی ٹیکنیکل یونیورسٹی، لنگبی کے شعبہ کمپیوٹر سائنس میں مہمان سائنسدان کے طور پر کام کیا۔ پھر وہ یونیورسٹی آف واروک واپس آئے اور اکتوبر 1994 تک ریئل ٹائم اور فالٹ ٹالرنٹ سسٹمز میں رسمی تکنیکوں پر پوسٹ ڈاکٹریٹ ریسرچ فیلو کے طور پر کام کیا جب وہ یونیورسٹی آف لیسٹر (یوکے) میں کمپیوٹر سائنس میں یونیورسٹی کے لیکچرر بن گئے۔ انہوں نے یو این یو-آئی آئی ایس ٹی میں 2002-2013 کے دوران ریسرچ فیلو اور سینئر ریسرچ فیلو کے طور پر کام کیا۔ انہوں نے اکتوبر 2013 میں برمنگھم سٹی یونیورسٹی (یوکے) میں سافٹ ویئر انجینئرنگ کے پروفیسر کے طور پر شمولیت اختیار کی۔ 2016 میں، وہ ہزار باصلاحیت پروگرام کے ذریعے فنڈنگ کے ساتھ، چین کے چونگ کنگ میں ساؤتھ ویسٹ یونیورسٹی میں ایک نئے پروفیسر کے عہدے پر چلے گئے۔ زیمنگ لیو کی بنیادی تحقیقی دلچسپی کمپیوٹر سسٹمز ڈیزائن کے رسمی طریقوں کے شعبوں میں ہے، جن میں ریئل ٹائم سسٹمز، فالٹ ٹالرنٹ سسٹمز، آبجیکٹ پر مبنی اور اجزاء پر مبنی سسٹمز شامل ہیں۔ ان کے تحقیقی نتائج مرکزی دھارے کے جرائد اور کانفرنسوں میں شائع ہوئے ہیں۔ متھائی جوزف کے ساتھ غلطی کی رواداری پر ان کا مشترکہ کام ایک باضابطہ نمونہ فراہم کرتا ہے جو غلطی، غلطی، ناکامی اور غلطی کی رواداری اور ان کے تعلقات کے تصورات کی قطعی وضاحت کرتا ہے۔ یہ ماڈل کی تبدیلیوں کے لحاظ سے غلطی سے متاثرہ پروگراموں اور غلطی برداشت کرنے والے پروگراموں کے ماڈل کی خصوصیات بھی دیتا ہے۔ انہوں نے غلطی برداشت کرنے والے نظاموں کے لیے ایک ڈیزائن کے عمل کی تجویز پیش کی جس میں ضروریات کی وضاحتیں اور تجزیہ، غلطی کے ماحول کی شناخت اور تجزیہ، غلطی سے متاثرہ ڈیزائن کی وضاحت اور ضروریات کی تفصیلات کے اطمینان کے لیے غلطی برداشت کرنے کی تصدیق شامل ہیں۔ چاؤ چاؤچن اور اینڈرز راون وغیرہ کے تعاون سے، اس نے نظام کے انحصار کے تجزیے کے لیے ایک ممکنہ دورانیے کا حساب کتاب بھی تیار کیا۔ سیمنٹکس کے آر سی او ایس تھیوری اور آبجیکٹ پر مبنی اور جزو پر مبنی ڈیزائن کی اصلاح پر ہی جیفینگ اور شیاؤشان لی کے ساتھ ان کا حالیہ کام جزو پر مبنی اور ماڈل پر مبنی سافٹ ویئر ڈویلپمنٹ کے لیے ٹول سپورٹ کے ساتھ ایک طریقہ کار میں تیار کیا جا رہا ہے۔ زیمنگ لیو کمپیوٹنگ کے نظریاتی پہلوؤں پر بین الاقوامی گفتگو (آئی سی ٹی اے سی)، جزو سافٹ ویئر کے رسمی پہلوؤں پر بین الاقوامی سمپوزیم (ایف اے سی ایس)، اور فاؤنڈیشنز آف ہیلتھ انفارمیشن انجینئرنگ اینڈ سسٹمز (ایف ایچ آئی ای ایس) پر بین الاقوامی سمپوزیم کے بانی ہیں۔ انہوں نے متعدد کانفرنسوں کے لیے پی سی چیئر اور متعدد کانفرنسوں کے پی سی اراکین کے طور پر خدمات انجام دی ہیں۔ انہوں نے کئی کتابوں کی تدوین بھی کی ہے۔ زیمنگ لیو کی شادی ہانگ زاؤ سے ہوئی ہے اور ان کے دو بیٹے ہیں، کم چانگ لیو اور ایڈورڈ تانز لیو۔ حوالہ جات بیرونی روابط ساؤتھ ویسٹ یونیورسٹی کا ہوم پیج UNU-IIST ہوم پیج Archive.org 1961 پیدائشوں پر زندہ لوگ سائنسدان ہیبی سے تعلق رکھتے ہیں یونیورسٹی آف واروک کے سابق طلباء برطانوی کمپیوٹر سائنس دان چینی کمپیوٹر سائنس دان رسمی طریقے لوگ اقوام متحدہ کی یونیورسٹی کے تعلیمی عملے کے لیسٹر یونیورسٹی کے تعلیمی برمنگھم سٹی یونیورسٹی کے سینئر ممبران ACM