برنامج درجة الدكتوراه بتمويل من صندوق العلوم النمساوية

مقالات مشابهة

يونيل منح ماجستير

منحة إريك بلومينك الدراسية للبلدان النامية بجامعة جرونينجن – هولندا

Bourse de recherche Eduard Gübelin dans les domaines des sciences de la Terre, Suisse

و المنطق برنامج الدكتوراه هو برنامج درجة الدكتوراه بتمويل من صندوق العلوم النمساوية (FWF) والتي يشترك في إدارتها الجامعات النمساوية الثلاث؛ ال TU Wien (جامعة فيينا للتكنولوجيا) ، جامعة غراتس للتكنولوجيا وجامعة يوهانس كيبلر لينز . يهدف هذا البرنامج إلى الطلاب المتحمسين للغاية الذين يرغبون في العمل في مجال الأساليب المنطقية في علوم الكمبيوتر.

لماذا دراسة الأساليب المنطقية في علوم الكمبيوتر؟

تقدم LogiCS برنامجًا دوليًا يتميز بمزيج فريد من التخصصات حيث تؤثر الأساليب المنطقية بشكل حاسم على علوم الكمبيوتر العملية.

في حين أن العديد من الأسئلة الأساسية في علوم الكمبيوتر أصبحت الآن مفهومة جيدًا ، فإن دورها في العلوم والتكنولوجيا والنتائج اليومية ينتج عنه تحديات جديدة دائمًا وأسئلة بحثية مفتوحة كبيرة تتطلب أجهزة الكمبيوتر لأداء مهام الاستدلال غير التافهة .

يلعب المنطق دورًا رئيسيًا في هذه المرحلة المتطورة من علوم الكمبيوتر ، على غرار دور حساب التفاضل والتكامل في تطوير الفيزياء والهندسة ،

المنطق هو أداة قوية للتفكير. تم اختراعه في الأصل كمساعد للحجج السليمة ، ووصل إلى النضج في شكل المنطق الرياضي والفلسفة التحليلية في أوائل القرن العشرين ، مع مساهمات كبيرة من فيينا.

نواصل هذا التقليد ، باستخدام المنطق كأداة تمكن برامج الكمبيوتر من التفكير في العالم. تسمح مهام التفكير هذه بالتصنيف الطبيعي إلى مجالين عريضين: يمكننا استخدام المنطق للتفكير في العالم الخارجي ، وكذلك التفكير في برامج الكمبيوتر نفسها. ينعكس هذا في مجالات بحثنا الأساسية الثلاثة:

• في قواعد البيانات والذكاء الاصطناعي ، نستخدم المنطق لنمذجة وتخزين وتحليل وتحليل والتنبؤ بالمعلومات حول العالم الخارجي بما في ذلك الإنترنت وأنواع مختلفة من مصادر البيانات والبيانات الضخمة ومصادر المعرفة الخاصة بالمجال.
• في التحقق ، نستخدم المنطق لنمذجة وتحليل سلوك برامج الكمبيوتر ، وضمان صحتها ، من البرامج البسيطة إلى البرامج المعقدة وتصاميم الأجهزة.
• تتم دراسة الأسئلة المنطقية والخوارزمية التي تكمن في مجالي التطبيق في مجال المنطق الحسابي .

نحن نهدف إلى تطوير طرق منطقية جديدة في هذه المجالات ، وتطبيقها على حل المشكلات في المجالات الناشئة مثل الأمان والخصوصية ، والأنظمة الفيزيائية السيبرانية ، والأنظمة الموزعة .

يمكنك قراءة المزيد عن المجالات التي تشكل البرنامج هنا .

لماذا تنضم إلى برنامج LogiCS في النمسا؟

تمتلك فيينا تاريخًا بارزًا في الرياضيات وعلوم الكمبيوتر وأبحاث المنطق ( Kurt Gödel ، Vienna Circle ،…). بالإضافة إلى ذلك، مرارا وتكرارا في المرتبة رقم 1 في الجودة ميرسر مسح المعيشة .

ل أعضاء هيئة التدريس المنطق تضم 15 الباحثين الشهير مع سجلات قوية في البحث والتدريس، وتقديم المشورة وتكملها 15 الأعضاء المنتسبين  الذين مواصلة تعزيز أنشطة البحث والتدريس في الكلية، وكذلك الأساتذة الزائرين والضيوف متكررة .

يتم استكمال البرنامج بمبادرات البحث المشاركة بالكلية مثل  شبكة البحث الوطنية في جميع أنحاء النمسا حول هندسة النظم الصارمة  (ARiSE) الممولة من صندوق العلوم النمساوي ،  مركز فيينا للمنطق والخوارزميات  (VCLA).

ما المواضيع التي يمكنني التعرف عليها في برنامج LogiCS؟

يحتوي برنامج LogiCS على ثلاثة مجالات أساسية. سوف تتعلم عنهم جميعًا ، وتجري بحثًا في موضوعات متخصصة متعددة التخصصات داخلهم:

• يغطي المنطق الحسابي الأسس النظرية والرياضية ، وهي شرط أساسي لكي يكون المنطق الأداة القوية التي ننشرها في مجالات التطبيق. ينصب تركيزنا هنا على نظرية الإثبات (قطع القطع ، التعدين البرهان ، مراسلات كاري-هاورد ، interpolants) ، الاستنتاج الآلي (القرار ، التفنيد ، إثبات النظرية) ، المنطق غير الكلاسيكي (المنطق تحت البني ، المنطق متعدد القيم ، المنطق القانوني ، منطق deontic ، والمنطق مشروط والزمني) ، التعقيد الحسابي (تحليل التعقيد ، التعقيد المحدد ، طرق التحلل) ورضا القيد (SAT ، QSAT ، CSP).
• يستخدم التحقق المنطق لتصميم برامج الكمبيوتر وتحليلها وإنشائها. يهتم هذا المجال بالأساليب المنطقية والأدوات الآلية للاستدلال حول سلوك وصحة الأنظمة المستندة إلى الحالة المعقدة ، مثل تصميم البرامج والأجهزة وكذلك الأنظمة الهجينة. وهي تتراوح من فحص النموذج وتحليل البرنامج وتجريده إلى مجالات جديدة متعددة التخصصات مثل توطين الخطأ وإصلاح البرنامج وتجميع البرنامج وتحليل النظم البيولوجية.
• تستخدم قواعد البيانات والذكاء الاصطناعي المنطق لنمذجة المعلومات حول العالم الخارجي وتخزينها وتحليلها والتنبؤ بها ، على سبيل المثال ، البيانات الضخمة والإنترنت ومصادر المعرفة الخاصة بالمجال. هنا ندرس عددًا كبيرًا من الموضوعات ، بما في ذلك لغات الاستعلام استنادًا إلى المفاهيم المنطقية (مثل Datalog ، ومتغيرات SQL ، XML ، و SPARQL) ، وأساليب نظرية قواعد البيانات الجديدة (مثل تعيينات المخطط ، واستخراج المعلومات ودمجها ، والاستعلام عن علم الوجود) ، البرمجة المنطقية ، تمثيل المعرفة والاستدلال (علم الوجود ، برمجة مجموعة الإجابات ، تغيير المعتقدات ، الأنظمة متعددة السياقات ، معالجة التناقض ، الجدال ، التخطيط ، التفكير التفضيلي).

نحن نركز بشكل خاص على تصميم الطرق المنطقية في مجالات التطبيق الناشئة. على وجه الخصوص ، ستتاح لك الفرصة لتطبيق المنطق لحل المشكلات الصعبة في المجالات التالية:

• الأمن والخصوصية: تؤثر العيوب والثغرات الأمنية على جميع البنى التحتية لتقنية المعلومات تقريبًا ، وتؤثر عواقبها المدمرة على كل مستخدم للإنترنت ، كما تشهد على ذلك نقاط الضعف البارزة الأخيرة في TLS أو تطبيقات الجوال أو رقائق Intel أو عقود Ethereum. المنطق هو أداة حاسمة لنمذجة دلالات الأنظمة المعقدة بدقة ، والتي يمكن أن تكون حتمية أو احتمالية ، ولتحديد خصائص الأمان المتوقعة (على سبيل المثال ، من حيث السلامة ، والحيوية ، أو الخصائص المفرطة). علاوة على ذلك ، فإنه يشكل أساس التحليل الأمني ​​الرسمي (على سبيل المثال ، أنظمة النوع وتفسير التجريد) ، والرصد (على سبيل المثال ، التنفيذ المتعدد الآمن) ، وتقنيات التجميع (على سبيل المثال ، التجميع الآمن).
• الأنظمة الفيزيائية السيبرانية: الأنظمة الفيزيائية السيبرانية هي أنظمة هندسية وفيزيائية وبيولوجية يتم دمج عملياتها و / أو مراقبتها و / أو التحكم فيها بواسطة قلب حسابي. سلوك CPS هو تهجين متكامل تمامًا للعمل الحسابي (المنطقي) والجسدي. يتضمن البحث المتعلق بمجال التطبيق هذا تحليلاً رسميًا للأنظمة الهجينة ، والتحقق من النماذج الرمزية والرموز العشوائية ، ولغات المواصفات القائمة على المنطق للسلوكيات الناشئة الزمانية المكانية ، وتركيب المعلمات ، واستخراج المتطلبات ، والهجوم المعادي لمكونات برامج تعلم الآلة ، والتحقق من وقت التشغيل لخصائص السلامة والأمن ، وتركيب وحدات تحكم قوية.
• الانظمة الموزعة: الأنظمة الموزعة موجودة في كل مكان في الوقت الحاضر: إلى جانب الحالات التقليدية مثل مزارع الخوادم وشبكات المناطق المحلية ، فإنها تشكل العمود الفقري لمختلف المجالات الناشئة ، مثل الدوائر الرقمية المتكاملة واسعة النطاق (VLSI) ، والتي يمكن رؤيتها على أنها أنظمة موزعة كبيرة جدًا على قطعة واحدة من السليكون وإنترنت الأشياء. وبالنظر إلى أن العديد من هذه التطبيقات أمر بالغ الأهمية للسلامة ، فإن أعطال الأجهزة يجب أن تعتبر جزءًا من التشغيل العادي ، وأن قيود الموارد والطاقة الشديدة غالبًا ما تكون حتمية ، وأساليب التصميم والتحليل القائمة على المنطق مفيدة لتحديد رؤية أنظمة البناء التي صحيحة عن طريق البناء. البحث في مجالات مثل التحقق بمساعدة الكمبيوتر ، والتصميم القائم على النموذج ، وفي النهاية ،