النبذة المختصرة

اهتماماتي البحثية تنصبّ في التوصيف و البرهنة باستخدام اللغات الرسمية Formal Methods. هذه تفيد بشكل أساسي في البرهنة الرياضية للنظم الحرجة و التي ليس من الممكن في غالب الحال محاكاتها أو إخضاعها للتجربة نظراً لحساسيتها و أهميتها. بشكل عام أهتم بكل ما يتعلق بالتوصيف الرسمي Formal specification, البرهنة الرسمية Formal verification , البرهنة الرياضية سواءً باستخدام الإثبات النظري Theory Proving أو التحقق من الموديلات Model Checking باستخدام منطق المجموعات Set-Theory , منطق الدرجة الأولى First Order Logic, و تمثيل فضاء الحالات State machine representation. لدي بعض العضويات في هيئات و مؤسسات علمية دولية في مجال الهندسة مثل Institute of Electrical and Electronics Engineers IEEE و Institute of Electronics, Information and Communication Engineers IEICE. حصلت على الدكتوراه في هندسة البرمجيات من جامعة بوترا الماليزية University Putra Malaysia. حالياً اعمل كمحاضر و باحث في جامعة Sunway University.