اهتمام بحثي

الحوسبة الكمية

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

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