مايك باترسون

مايكل ستيوارت باترسون هو عالم حاسوب بريطاني ، وكان مدير مركز الرياضيات المنفصلة وتطبيقاتها (DIMAP) في جامعة وارويك حتى عام 2007، ورئيس قسم علوم الحاسوب في عام 2005.

حصل على درجة الدكتوراه في الفلسفة من جامعة كامبريدج عام 1967، تحت إشراف ديفيد بارك . [ 1 ] أمضى ثلاث سنوات في معهد ماساتشوستس للتكنولوجيا (MIT) وانتقل إلى جامعة وارويك عام 1971، حيث لا يزال أستاذاً فخرياً . [ 2 ]

باترسون خبير في علوم الحاسوب النظرية، وله أكثر من مئة منشور، لا سيما في تصميم وتحليل الخوارزميات والتعقيد الحسابي . وقد حظي باترسون بتقدير كبير لمسيرته المتميزة، حيث نال جائزة الجمعية الأوروبية لعلوم الحاسوب النظرية (EATCS) عام 2006، كما أُقيمت ورشة عمل تكريمًا له بمناسبة بلوغه السادسة والستين عام 2008، بمشاركة عدد من الحائزين على جائزتي تورينج وغودل . وفي عام 2017، عُقدت ورشة عمل أخرى احتفاءً بعيد ميلاده الخامس والسبعين، بالتزامن مع ورشة عمل الذكرى العاشرة لتأسيس مركز DIMAP. حصل مايك باترسون على جائزة ديكسترا عام 2001 لعمله في مجال الحوسبة الموزعة مع فيشر ولينش ، كما نال جائزة أفضل ورقة بحثية في مؤتمر ICALP عام 2006 عن بحثه مع داير وغولدبيرغ حول حساب تماثلات الرسوم البيانية . وحصل أيضًا على جائزة ليستر آر. فورد عام 2010. [ 3 ] وهو زميل في الجمعية الملكية منذ عام 2001، وشغل منصب رئيس الجمعية الأوروبية لعلوم الحاسوب النظرية (EATCS). ووفقًا لرئيس الجمعية، موريس نيفات ، فقد لعب باترسون دورًا بارزًا في أواخر الستينيات في ترسيخ مكانة علوم الحاسوب كعلم مستقل، "وأن علوم الحاسوب النظرية، القريبة جدًا من الرياضيات ولكنها متميزة عنها في دوافعها ومصادر إلهامها، تُعد بالفعل مجالًا بحثيًا ثريًا ومليئًا بالتحديات." [ 4 ]

باترسون متسلق جبال متحمس أيضاً .

منشورات مختارة

  • M. Dyer, LA Goldberg and M. Paterson, On counting homomorphisms to directed acyclic graphs, Electronic Colloquium on Computing Complexity, Report TR05-121, Oct 2005.
  • LA Goldberg, M. Jalsenius, R. Martin and M. Paterson, Improved mixing bounds for the anti-ferromagnetic Potts Model on Z 2 , LMS J. Comput. Math. 9 (2006) 1–20.
  • LA Goldberg, R. Martin and M. Paterson, Strong spatial mixing for lattice graphs with less colors, SICOMP , 35(2) 486–517 (2005).
  • M. Albert و M. Paterson، حدود معدل نمو أعداد التعرج، وقائع المؤتمر الدولي السنوي السادس عشر حول سلاسل القوى الرسمية والتوافقية الجبرية، 2004، جامعة كولومبيا البريطانية (فانكوفر، كولومبيا البريطانية، كندا).
  • LA Goldberg, M. Jerrum , S. Kannan and M. Paterson, A bound on the capacity of backoff and recognize-based protocols, SICOMP, 88 (2004) 313–331.
  • M. Adler, P. Berenbrink, T. Friedetzky, LA Goldberg, P. Goldberg and M. Paterson, A proportionate fair scheduling rule with good worst-case performance, Proc. of the 15th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA 2003), 101–108 (2003).
  • LA Goldberg, M. Jerrum and M. Paterson, The computational complex of two-state spin systems, Random Structures and Algorithms, 23(2) 133–154 (2003).
  • K. Iwama, A. Matsuura and M. Paterson, A family of NFAs which need 2 n -alpha deterministic states, Theoretical Computer Science 301(1–3), 451–462 (2003).
  • LA Goldberg, S. Kelk and M. Paterson, The complex of choose an H-colouring (nearly) uniformly at random, SICOMP, 33(2) 416–432 (2004) copyright SIAM.
  • M. Paterson, H. Schroeder, O. Sykora and I. Vrto, On permutation communications in all-optical rings, Parallel Processing Letters 12(1), 23–29 (2002).

انظر أيضاً

مراجع

  1. قاعدة بيانات الأنساب SIGACT
  2. مايك باترسون في مشروع علم الأنساب الرياضي
  3. باترسون، مايك؛ زويك، أوري (2009). "الامتداد" . المجلة الرياضية الأمريكية الشهرية . 116 (1): 19-44 . doi : 10.4169/193009709x469797 .
  4. موريس نيفات، حول نشأة علم الحاسوب النظري ، ملخص محاضرة ألقيت في عيد ميلاد باترسون السادس والستين.