أمينة دومان
{{يتيمة|تاريخ=يوليو 2019}}
{{معلومات عالم
|الاسم  =
|الصورة = <!--(اسم الملف فقط، بدون البادئة "ملف:")-->
|حجم الصورة =
|بديل  =
|التعليق =
|لغة الاسم الأصلي =
|الاسم الأصلي =
|اسم الولادة =
|تاريخ الولادة = <!--{{تاريخ الميلاد|YYYY|MM|DD}}-->
|مكان الولادة =
|تاريخ الوفاة = <!--{{تاريخ الوفاة والعمر|الوفاة|12|01|الميلاد|12|01|mf=yes}}-->
|مكان الوفاة =
|سبب الوفاة =
|احداثيات مكان الدفن	= <!--{{Coord|LAT|LONG|type:landmark|display=inline,title}}-->
|مكان الدفن =
|أسماء أخرى =
|الإقامة	=
|المواطنة	=
|الجنسية	=
|عرقية	=
|المجال	=
|أماكن العمل=
|التخرج	=
|مشرف الدكتوراه	=
|طلاب الدكتوراه	=
|عنوان الأطروحة	=
|وصلة الأطروحة	=
|سنة الأطروحة	=
|المشرفون الأكاديميون	=
|التلاميذ المشهورون	=
|اشتهر بـ	=
|تأثر بـ	=
|أثر في	=
|الجوائز	=
|اختصار عالم نبات =
|اختصار عالم حيوان =
|الديانة	=
|الزوج	=
|التوقيع	=
|بديل التوقيع =
|الموقع الإلكتروني= <!--{{مسار|www.example.com}}-->
|ملاحظات	=
}}

'''أمينة دومان''' (من مواليد [[2 سبتمبر]] [[1990]]) [[علم الحاسوب النظري|عالمة حاسوب]] ونظرية مغربية،<ref name="LRAD">[https://www.larecherche.fr/prix-la-recherche-sciences-de-linformation/prouver-%C3%A0-laide-de-linfini Prix La Recherche 2018 : Prouver à l'aide de l'infini] {{Webarchive|url=http://web.archive.org/web/20240817125846/https://www.larecherche.fr/prix-la-recherche-sciences-de-linformation/prouver-%C3%A0-laide-de-linfini|date=2024-08-17}}</ref> فازت بجائزة أفضل رسالة دكتوراه بفرنسا حملت عنوان «نظرية إثبات لا مركزية المنطق والنقاط الثابتة». [[قائمة أوائل النساء|رائدة]] في إثبات نظرية مهمة في [[علم الحاسوب النظري|المنطق الرياضي]]، وهي نظرية الاكتمال في حساب التفاضل والتكامل الخطي، وذلك بطريقة بناءة ( أي عن طريق إنتاج شهادة). من خلال هذا العمل، قامت بسد الفجوة بين [[منطق رياضي|المنطق الرياضي]] والتحقق من الخصائص اللانهائية للبرمجيات، مما يسمح بالاستدلال بشكل [[استقراء (منطق)|استقرائي]] و[[توافق|توافقي]].

دومان حصدت جائزة «جيل كان» (Prix Gilles-Kahn) بقيمة 1500 أورو عن أطروحتها، التي وضعت بالمرتبة الأولى بين أفضل الأطروحات الفرنسية.

وقد سبق لدومان أن حصلت على زمالة عام 2014 في مجال اهتمامها بالرياضيات من لدن مؤسسة "DIM Math Innov".<ref>[https://www.hespress.com/%d9%85%d8%ba%d8%b1%d8%a8%d9%8a%d8%a9-%d8%aa%d8%aa%d9%88%d8%ac-%d8%a8%d9%80%d8%a3%d8%ad%d8%b3%d9%86-%d8%a3%d8%b7%d8%b1%d9%88%d8%ad%d8%a9-%d8%af%d9%83%d8%aa%d9%88%d8%b1%d8%a7%d9%87-%d9%81-406183.html مغربية تتوج بـ"أحسن أطروحة دكتوراه" في فرنسا ] {{Webarchive|url=https://web.archive.org/web/20190327183319/https://www.hespress.com/marocains-du-monde/378719.html |date=27 مارس 2019}}</ref><ref>[https://www.iledefrance.fr/aide-la-recherche-amina-doumane-decroche-le-prix-gilles-kahn Aide à la recherche : Amina Doumane décroche le prix Gilles-Kahn | Région Île-de-France<!-- عنوان مولد بالبوت -->] {{Webarchive|url=https://web.archive.org/web/20190721085447/https://www.iledefrance.fr/aide-la-recherche-amina-doumane-decroche-le-prix-gilles-kahn |date=21 يوليو 2019}}</ref>

فازت خلال عام 2017 بجائزة جايلز كان الفرنسية لأفضل أطروحة دكتوراه في فرنسا. كانت أطروحتها حول موضوع نظرية البرهان اللانهائي للمنطق بالنقاط الثابتة. حيث تظهر أطروحتها أن البراهين الدائرية لها مكانة حقيقية كدليل نظري وأنه يمكن تطبيقها على مجالات أخرى مثل التحقق الرسمي.<ref>{{استشهاد ويب|عنوان=Prix de thèse Gilles Kahn et Prix La Recherche pour Amina Doumane|مسار= https://ins2i.cnrs.fr/fr/cnrsinfo/prix-de-these-gilles-kahn-et-prix-la-recherche-pour-amina-doumane|تاريخ الوصول=2021-01-20|عمل=INS2I|تاريخ=2018-01-02|مسار أرشيف= http://web.archive.org/web/20231221190709/https://www.ins2i.cnrs.fr/fr/cnrsinfo/prix-de-these-gilles-kahn-et-prix-la-recherche-pour-amina-doumane|تاريخ أرشيف=2023-12-21}}</ref> في 31 يناير 2018، حصلت دومان على الجائزة من جمعية علوم الكمبيوتر الفرنسية (SIF).<ref name="PhD award">{{استشهاد ويب|عنوان=Amina Doumane conferred Gilles Kahn Award for best PhD thesis|مسار= http://www.ens-lyon.fr/en/article/research/amina-doumane-conferred-gilles-kahn-award-best-phd-thesis|تاريخ=23 January 2018|مسار أرشيف= http://web.archive.org/web/20240820002908/https://www.ens-lyon.fr/en/article/research/amina-doumane-conferred-gilles-kahn-award-best-phd-thesis|تاريخ أرشيف=2024-08-20}}</ref>

== السيرة ==
أمينة دومان من مواليد يوم الأحد 2 سبتمبر 1990<ref name="CV">{{استشهاد ويب/فرنسي|url=https://perso.ens-lyon.fr/amina.doumane/cv.pdf|titre=CV d'Amina Doumane|site=ens-lyon.fr|consulté le=27 août 2019}}</ref> [[المغرب|بالمغرب]].<ref name="idf">{{استشهاد ويب/فرنسي|url=https://www.iledefrance.fr/aide-la-recherche-amina-doumane-decroche-le-prix-gilles-kahn|titre=Aide à la recherche : Amina Doumane décroche le prix Gilles-Kahn|date=12 janvier 2018|site=www.iledefrance.fr|consulté le=27 août 2019}}</ref>

أكملت دراستها الثانوية بمدرسة الشروق الثانوية بخريبكة حيث حصلت على البكالوريا العلمية بتقدير جيد جدا سنة 2008. ومثلت المغرب في الأولمبياد الدولي للرياضيات ثم التحقت بالصفوف الإعدادية بمدرسة ابن عبدون بخريبكة قبل أن تدخل MP* " المواد الإجبارية الرياضيات والفيزياء الصف الاعدادي" بمدرسة مولاي يوسف الثانوية بالرباط.

وفي عام 2010، التحقت بالمدرسة المركزية بباريس، وتخصصت في الرياضيات التطبيقية.

في عام 2014، استفادت أمينة دومان من منحة دراسية من منطقة إيل دو فرانس كجزء من مجال الاهتمام الرئيسي "أبحاث الدكتوراه في الرياضيات-IDF"، منذ إعادة تسميتها ديم الرياضيات إينوف "DIM Math Innov".<ref name="idf" />

وفي الفترة من 2014 إلى 2017، أعدت أطروحتها للدكتوراه بعنوان حول نظرية البرهان اللانهائي للمنطق بالنقاط الثابتة،<ref>{{استشهاد ويب/فرنسي|url=https://www.irif.fr/~doumane/these.pdf|titre=Amina Doumane, ''On the infinitary proof theory of logics with fixed points''|date=2017|consulté le=27 août 2019}}</ref> والتي أشرف عليها ديفيد بيلد، وبيير لويس كوريان، وألكسيس سورين في جامعة باريس ديدرو.

عملت منذ ذلك الحين كباحثة ما بعد الدكتوراه في جامعة وارسو مع ميكوواج بويانتشيك وفي مختبر علوم الكمبيوتر الموازي (LIP) في ENS ليون مع داميان بوس.

== أبرز أعمالها ==
يقع عمل أمينة دومان ضمن إطار [[نظرية البرهان]].<ref name="LRAD" />  تعتمد في أبحاثها على المنطق اللامتناهي، من بين أدوات أخرى، للتحقق من برامج الكمبيوتر، مما يتيح استخدام صيغ أو عروض توضيحية غير محدودة الطول.

النتيجة التي تم الحصول عليها تتعلق بـ "نظرية الاكتمال". وتقول أمينة أنه إذا كانت الصيغة صحيحة فهي قابلة للإثبات. كان الأمريكي ديكستر كوزين قد قدم برهانًا على هذه النظرية عام 1983، ثم تبعه روب كايفولا عام 1995<ref>Roope Kaivola, ''Axiomatising Linear Time Mu-calculus'', 1995.</ref>  وذلك ضمن سياق حساب التفاضل والتكامل، لكن بطريقة غير بنائية—أي أننا نعلم بوجود الدليل، لكننا غير قادرين على إنتاجه فعليًا.<ref group="alpha">R. Kaivola démontre le théorème de complétude du μ-calcul : « Si une formule du μ-calcul est valide, alors elle est prouvable dans le système de Kozen ».</ref> 

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

ولتحقيق ذلك نجحت أمينة دومان في تصميم خوارزمية تسمح ببناء البرهان تلقائيًا من صيغة حسابية.<ref>{{استشهاد ويب/فرنسي|langue=fr|titre=Prix de thèse Gilles Kahn et Prix La Recherche pour Amina Doumane|url=https://ins2i.cnrs.fr/fr/cnrsinfo/prix-de-these-gilles-kahn-et-prix-la-recherche-pour-amina-doumane|consulté le=19 juillet 2019}}</ref> كما يمكن أن تكون صيغة حساب التفاضل والتكامل هذه "المعنى الضمني الكبير" الذي يعبر عن أن النظام (S) يلبي الخاصية (P)، أي أن (S) ⇒ (P) صحيح. للحصول على البرهان البناء يتم تحليل أي صيغة حسابية إلى صيغ فرعية متوسطة، ثم يتم إثبات كل منها باستخدام البراهين اللانهائية. وأخيرًا تطبق على كل من هذه البراهين خوارزمية طورتها مما يجعل من الممكن تحويل برهان لا نهائي إلى برهان عادي. حيث تكمن الصعوبة في اختيار التحليلات. ولتحقيق ذلك استلهمت فكرة الأوتوماتا التي توفر أدوات للتغلب على صعوبات التناوب (∧ و∨)، وشروط التكافؤ (تناوب μ وν) وعدم الحتمية (وجود ∨).<ref name="svst">{{استشهاد ويب |عنوان=Support visuel de la soutenance de thèse. |تاريخ الوصول=17 أغسطس 2024 |مسار= https://www.societe-informatique-de-france.fr/wp-content/uploads/2018/02/SIF2018_These_Doumane.pdf |تاريخ أرشيف=5 أبريل 2023 |مسار أرشيف= https://web.archive.org/web/20230405213749/https://www.societe-informatique-de-france.fr/wp-content/uploads/2018/02/SIF2018_These_Doumane.pdf |حالة المسار=dead |مسار أرشيف= http://web.archive.org/web/20230405213749/https://www.societe-informatique-de-france.fr/wp-content/uploads/2018/02/SIF2018_These_Doumane.pdf|تاريخ أرشيف=2023-04-05}}</ref>

== المنشورات ==

* لها حول نظرية البرهان اللامتناهي للمنطق بالنقاط الثابتة عام 2017 أطروحة تمت مناقشتها في جامعة باريس ديدرو (باريس 7) السوربون باريس سيتي وتم إعدادها في معهد البحوث في علوم الكمبيوتر الأساسية (IRIF) وفي مختبر المواصفات والتحقق ( LSV) تحت إشراف ديفيد بيلدي وأليكسيس سورين وبيير لويس كورين. حيث تمحورت أطروحتها للدكتوراه حول نظام البرهان الدائري.
* الاكتمال البناء لحساب التفاضل والتكامل للزمن الخطي، 2017 <small>[[معرف الغرض الرقمي|DOI]]:[https://www.irif.fr/~doumane/LICS17.pdf 10.1109/LICS.2017.8005075]</small>

== مرتبة الشرف والأوسمة والجوائز والامتياز ==
جائزة جيل خان لأفضل أطروحة دكتوراه فرنسية، 2017، من قبل شركة المعلوماتية الفرنسية " Société informatique de France (SIF)".<ref>{{استشهاد ويب|عمل=La Société informatique de France|عنوان=Lauréats 2017|تاريخ الوصول=2021-01-20|تاريخ أرشيف=20 أغسطس 2024|مسار=https://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/laureats-2017/|مسار أرشيف=https://web.archive.org/web/20240820003041/https://archive.socinfo.fr/recherche/prix-de-these-gilles-kahn/laureats-2017/}}</ref>

== الملاحظات والمراجع ==

==== ملاحظة ====
<references group="alpha" />{{مراجع}}
{{ضبط استنادي}}
{{شريط بوابات|أعلام|المرأة|المغرب|تقانة المعلومات|رياضيات|علم الحاسوب}}
{{بذرة رياضياتي مغربي}}
{{مواقع التواصل الاجتماعي}}

[[تصنيف:خريجو المدرسة المركزية بباريس]]
[[تصنيف:رياضياتيون مغاربة]]
[[تصنيف:عالمات في علوم الحاسوب]]
[[تصنيف:علماء حاسوب مغاربة]]
[[تصنيف:مواليد 1411 هـ]]
[[تصنيف:مواليد في باريس]]
[[تصنيف:مغربيات]]
أمينة دومان (من مواليد 2 سبتمبر 1990) عالمة حاسوب ونظرية مغربية،Prix La Recherche 2018 : Prouver à l'aide de l'infini  فازت بجائزة أفضل رسالة دكتوراه بفرنسا حملت عنوان «نظرية إثبات لا مركزية المنطق والنقاط الثابتة». رائدة في إثبات نظرية مهمة في المنطق الرياضي، وهي نظرية الاكتمال في حساب التفاضل والتكامل الخطي، وذلك بطريقة بناءة ( أي عن طريق إنتاج شهادة). من خلال هذا العمل، قامت بسد الفجوة بين المنطق الرياضي والتحقق من الخصائص اللانهائية للبرمجيات، مما يسمح بالاستدلال بشكل استقرائي وتوافقي.

دومان حصدت جائزة «جيل كان» (Prix Gilles-Kahn) بقيمة 1500 أورو عن أطروحتها، التي وضعت بالمرتبة الأولى بين أفضل الأطروحات الفرنسية.

وقد سبق لدومان أن حصلت على زمالة عام 2014 في مجال اهتمامها بالرياضيات من لدن مؤسسة "DIM Math Innov".مغربية تتوج بـ"أحسن أطروحة دكتوراه" في فرنسا  Aide à la recherche : Amina Doumane décroche le prix Gilles-Kahn | Région Île-de-France 

فازت خلال عام 2017 بجائزة جايلز كان الفرنسية لأفضل أطروحة دكتوراه في فرنسا. كانت أطروحتها حول موضوع نظرية البرهان اللانهائي للمنطق بالنقاط الثابتة. حيث تظهر أطروحتها أن البراهين الدائرية لها مكانة حقيقية كدليل نظري وأنه يمكن تطبيقها على مجالات أخرى مثل التحقق الرسمي. في 31 يناير 2018، حصلت دومان على الجائزة من جمعية علوم الكمبيوتر الفرنسية (SIF).

 السيرة 
أمينة دومان من مواليد يوم الأحد 2 سبتمبر 1990 بالمغرب.

أكملت دراستها الثانوية بمدرسة الشروق الثانوية بخريبكة حيث حصلت على البكالوريا العلمية بتقدير جيد جدا سنة 2008. ومثلت المغرب في الأولمبياد الدولي للرياضيات ثم التحقت بالصفوف الإعدادية بمدرسة ابن عبدون بخريبكة قبل أن تدخل MP* " المواد الإجبارية الرياضيات والفيزياء الصف الاعدادي" بمدرسة مولاي يوسف الثانوية بالرباط.

وفي عام 2010، التحقت بالمدرسة المركزية بباريس، وتخصصت في الرياضيات التطبيقية.

في عام 2014، استفادت أمينة دومان من منحة دراسية من منطقة إيل دو فرانس كجزء من مجال الاهتمام الرئيسي "أبحاث الدكتوراه في الرياضيات-IDF"، منذ إعادة تسميتها ديم الرياضيات إينوف "DIM Math Innov".

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

عملت منذ ذلك الحين كباحثة ما بعد الدكتوراه في جامعة وارسو مع ميكوواج بويانتشيك وفي مختبر علوم الكمبيوتر الموازي (LIP) في ENS ليون مع داميان بوس.

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

النتيجة التي تم الحصول عليها تتعلق بـ "نظرية الاكتمال". وتقول أمينة أنه إذا كانت الصيغة صحيحة فهي قابلة للإثبات. كان الأمريكي ديكستر كوزين قد قدم برهانًا على هذه النظرية عام 1983، ثم تبعه روب كايفولا عام 1995Roope Kaivola, Axiomatising Linear Time Mu-calculus, 1995.  وذلك ضمن سياق حساب التفاضل والتكامل، لكن بطريقة غير بنائية—أي أننا نعلم بوجود الدليل، لكننا غير قادرين على إنتاجه فعليًا.R. Kaivola démontre le théorème de complétude du μ-calcul : « Si une formule du μ-calcul est valide, alors elle est prouvable dans le système de Kozen ». 

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

ولتحقيق ذلك نجحت أمينة دومان في تصميم خوارزمية تسمح ببناء البرهان تلقائيًا من صيغة حسابية. كما يمكن أن تكون صيغة حساب التفاضل والتكامل هذه "المعنى الضمني الكبير" الذي يعبر عن أن النظام (S) يلبي الخاصية (P)، أي أن (S) ⇒ (P) صحيح. للحصول على البرهان البناء يتم تحليل أي صيغة حسابية إلى صيغ فرعية متوسطة، ثم يتم إثبات كل منها باستخدام البراهين اللانهائية. وأخيرًا تطبق على كل من هذه البراهين خوارزمية طورتها مما يجعل من الممكن تحويل برهان لا نهائي إلى برهان عادي. حيث تكمن الصعوبة في اختيار التحليلات. ولتحقيق ذلك استلهمت فكرة الأوتوماتا التي توفر أدوات للتغلب على صعوبات التناوب (∧ و∨)، وشروط التكافؤ (تناوب μ وν) وعدم الحتمية (وجود ∨).

 المنشورات 

 لها حول نظرية البرهان اللامتناهي للمنطق بالنقاط الثابتة عام 2017 أطروحة تمت مناقشتها في جامعة باريس ديدرو (باريس 7) السوربون باريس سيتي وتم إعدادها في معهد البحوث في علوم الكمبيوتر الأساسية (IRIF) وفي مختبر المواصفات والتحقق ( LSV) تحت إشراف ديفيد بيلدي وأليكسيس سورين وبيير لويس كورين. حيث تمحورت أطروحتها للدكتوراه حول نظام البرهان الدائري.
 الاكتمال البناء لحساب التفاضل والتكامل للزمن الخطي، 2017 DOI:10.1109/LICS.2017.8005075

 مرتبة الشرف والأوسمة والجوائز والامتياز 
جائزة جيل خان لأفضل أطروحة دكتوراه فرنسية، 2017، من قبل شركة المعلوماتية الفرنسية " Société informatique de France (SIF)".

 الملاحظات والمراجع 

 ملاحظة 

تصنيف:خريجو المدرسة المركزية بباريس
تصنيف:رياضياتيون مغاربة
تصنيف:عالمات في علوم الحاسوب
تصنيف:علماء حاسوب مغاربة
تصنيف:مواليد 1411 هـ
تصنيف:مواليد في باريس
تصنيف:مغربيات