arid.my/0001-0147
محمد بشير جاسر
Muhammed Basheer Jasser
[email protected]

ماليزيا - كوالا لامبور
جامعة بوترا الماليزية Faculty of Computer Science & Information Technology
تاريخ التسجيل : 15/04/2016 ARID Registration Date :
نقاط النشاط التواصلي : 1.65 A-Index :
معامل التواصل العلمي : 1.04C-Index :
المتابعون: 2Followers :
عدد الأوسمة: 4Badges :
عدد زوار الصفحة الشخصية : 5273Visitors :
المسجلون في المنصة عبر حساب الباحث : 0Registered Users through the researcher :

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

اهتماماتي البحثية تنصبّ في التوصيف و البرهنة باستخدام اللغات الرسمية 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.