علماء عرب - كارم سقالله دقق في منطق الكومبيوتر

علي حويلي الثلاثاء 26 يونيو 2012 وفقاً لمحفوظات علمية أميركية، من المستطاع النظر إلى كارم سقالله، وهو عالِم أميركي من أصل فلسطيني (غزة 1953) بوصفه «أحد أبرز أعمدة علم الكومبيوتر». تخرج في الجامعة الأميركية في بيروت (1975) بشهادة بكالوريوس في هندسة الكهرباء. وعمل في وزارة الكهرباء في الكويت. ثم سافر إلى أميركا. ونال شهادتي الماجستير والدكتوراه في هندسة الكهرباء وعلوم الكومبيوتر من جامعة «كارينجي ميلون» الأميركية. بعدها، تولى سقالله مهمات أكاديمية ومهنية، فعُيّن أستاذاً مساعداً في جامعة «كارينجي ميلون». وأمضى 6 سنوات في شركة «المُعدّات الرقمية» في هدسون (ولاية ماساتشوستس)، وكانت، حينها، ثاني أكبر شركة كومبيوتر عالمياً. وفي «المُعدّات الرقمية»، أشرف سقالله على مجموعة من الباحثين في تصميم أنظمة الكومبيوتر وأشباه الموصلات، وترأس فريق التحليل والمحاكاة المتطورة فيها. ثم انضم إلى جامعة ميشيغن، ولا يزال في صفوف أكاديمييها لحد الآن، بوصفه أستاذاً للهندسة الكهربائية وباحثاً في علوم الكومبيوتر. شملت بحوث سقالله، كما تفيد وثائق شركة «المعدات الرقمية» وجامعة ميشيغن، وضع التصاميم للدوائر المتكاملة بمساعدة الكومبيوتر والتركيز على المنطق والتوليف والتخطيط وتحسين الأجهزة والتحقّق من كفاءة برمجيات الكومبيوتر. واستطاع تحقيق إنجازات متقدمة شملت تصميم نماذج للرقائق الإلكترونية بطريقة عالية السرعة، ما جعل إنتاجها لا يستغرق سوى بضع ساعات، مع العلم أن العمليات عينها كانت تستغرق ما يتراوح بين سنتين وثلاث سنوات. منطق الكومبيوتر ومن أهم اكتشافات سقالله ابتكار طريقة جديدة لحل مسألة أساسية في علوم الكومبيوتر تعرف باسم «بوولين ساتسفايبيلتي» Boolean Satisfiability، ويُشار إليها تقنياً بمصطح «سات» SAT. وتتعلق هذه المسألة بالتحقّق من مدى صحة جملة لدى صياغتها بالإعتماد على المؤشّرات التي ابتكرها العالم البريطاني جورج بوليين. وتستعمل هذه المؤشرات يومياً من قبل مئات ملايين الناس، لأنها الطريقة التي تكتب فيها الجُمل على محركات البحث، عندما يتعلق الأمر بالوصول الى نتائج أكثر دقة، في وقت سريع. وتشمل المؤشّرات البولينية أشياء مثل و AND، أو OR، و/أو AND/OR وغيرها. وبقول آخر، تكتب جُمل كاملة فيها هذه المؤشّرات، ثم يجري التدقيق بمدى «فهم» الكومبيوتر لها، عبر التدقيق أيضاً في «إجاباته» عنها. وتمكن سقالله بمساعدة فريق من الباحثين، على رأسهم جواو ماركش- سيلفا، من تصميم برنامج سمّوه «غراسب» GRASP، يستطيع العثور على الحل لمثل هذه المسائل، في وقتٍ وجيزٍ جداً حتى وإن كان عدد المتغيرات في المسألة يفوق مئات الآلاف. وقد أدى هذا الإكتشاف إلى دفع عجلة التقدم في هذا المجال على نحوٍ متسارع. وحفّز هذا الأمر عشرات الباحثين على تبني «الوصفة» المستخدمة في برنامج «غراسب». وحاز هذا البرنامج تقديراً عالياً من جامعة برنستون الأميركية. إذ منحته، في 2009، جائزة «التثبّت بمساعدة الكومبيوتر»Computer Aided Verification، واختصاراً «سي إيه في» CAV. لا تقتصر انجازات سقالله على المجال النظري البحت، بل تشمل التطبيقات العملانية للبحوث الأكاديمية الصرفة. وظهر هذا الأمر أثناء عمله مستشاراً لشركات «إنتل» Intel عملاق صناعة الرقاقات الإلكترونية، و «ماغما ديزاين أوتوميشن» Magma Design Automation و «كادنس ديزاين سيستمز» Cadence Design Systems. وتعاون مع باحثين في تأسيس شركة أعطاها إسم «ريفيل ديزاين أوتوميشن» Reveal Design Automation. وتعمل هذه الشركة في صناعة برامج للكومبيوتر تتولى التحقق من صحة تصميم الكومبيوتر وعمله. رصيد دولي إضافة إلى هذه الإنجازات، يتمتع سقالله برصيد مهني دولي. ويحمل درجة زميل من «معهد الهندسة الكهربائية وهندسة الإلكترونيات» الذي يوصف بأنه من الجهات الأساسية الراعية لعمل شبكة الإنترنت عالمياً. وعمل أيضاً رئيساً مشاركاً للتحرير في مجموعة من الدوريات التقنية العالمية. وساهم في تنظيم كثير من المؤتمرات العلمية والدورات التدريبية في أوروبا وآسيا وأميركا الشمالية. ونشر ما يزيد على مئتي مقال علمي وألف كتباً عدة وحاضر في مؤتمرات دولية متنوّعة وقدّم حلقات دراسية وبرامج تعليمية في مجموعة من المواقع المهنية والصناعية. وأمضى العام الدراسي 2007- 2008 في قطر، بوصفه أستاذاً زائراً في جامعة «كارينجي ميلون» في المدينة التعليمية في الدوحة، إضافة الى عضويته في المجلس الإستشاري لـ «مؤسسة قطر للتربية والعلوم وتنمية المجتمع»، حيث يشارك في التخطيط لإنشاء مركز بحوث في علوم وهندسة الكومبيوتر والمعلوماتية.