مقاله‌های علمی پژوهشی

1. Shirmohammadzadeh Maleki, Fatemeh, and Morteza Moniri. "Neighborhood Semantics for Basic and Intuitionistic Logic." Logic and Logical Philosophy Volume 24, no. Volume 24 (2015): 339-355.
2. Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Weak Subintuitionistic Logics." Logic Journal of the IGPL ( international ) 25, no. 2 (2016): 214-231.
3. Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Subintuitionistic Logics with Kripke Semantics." Lecture Notes in Computer Science Volume 10148, no. TbiLLC 2015, LNCS (2017): 333-354.
4. Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Subintuitionistic logics and the implications they prove." Indagationes Mathematicae 29, no. 6 (2018): 1525-1545.
5. Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Two Neighborhood Semantics for Subintuitionistic Logics." Lecture Notes in Computer Science Volume 11456,, no. TbiLLC 2018, LNCS (2019): 64-85.
6. de Jongh, Dick, and Fatemeh Shirmohammadzadeh Maleki. "Binary Modal Companions for Subintuitionistic Logics." Logic, Epistemology, and the Unity of Science ( Scientific&Research-based ) 49, no. 6 (2021): 35-52.
7. Shirmohammadzadeh Maleki, Fatemeh, and Morteza Moniri. "Another Neighbourhood Semantics for Intuitionistic Logic." Logic Journal of the IGPL ( international ) doi.org/10.1093/jigpal/jzac069, no. doi.org/10.1093/jigpal/jzac069 (2022): doi.org/10.1093/jigpal/jzac069.
8. شیرمحمدزاده ملکی، فاطمه. "همتاهای وجهی برای برخی منطق های زیرشهودی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 12، 2 (1400): 149-173.
9. شیرمحمدزاده ملکی، فاطمه. "منطق وجهی نرمال دوموضعی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 14، 1 (1402): 1.
10. شیرمحمدزاده ملکی، فاطمه. "دستگاه استنتاج طبیعی برای برخی منطق‌های زیرشهودی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 15، 1 ( ): LSJ-2405-1472 (R1).

مقاله‌های علمی مروری

1. شیرمحمدزاده ملکی، فاطمه. "معرفی معناشناسی‌های مختلف برای منطق شهودی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 11، 1 (1399): 131-150.

مجموعه مقالات

1. Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, 2017-02-22, Subintuitionistic Logics with Kripke Semantics, 10148, 333-354
2. Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, 2019-07-03, Two Neighborhood Semantics for Subintuitionistic Logics, 11456, 64-85

طراحی وبرگزاری نشست‌/مدرسه‌تابستانی/کارگاه

1. ---

شرکت‌درهمایش/سمینار/کارگاه آموزشی(شرکت/ارائه/همکاری)

1. دهمین همایش سالیانه انجمن منطق ایران، شركت كننده، ایران، تهران، 1401/12/03، 1401/12/04
2. 14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), ارائه سخنرانی, Georgia, Tbilisi, 2023-09-18, 2023-09-22

سخنرانی

1. Shirmohammadzadeh Maleki Fatemeh, Two Neighborhood semantics of Subintuitionistic Logics, 12th International Tbilisi Symposium on Language, Logic, Computation, 2017-09-18, 2017-09-22
2. Shirmohammadzadeh Maleki Fatemeh, Two Neighborhood Semantics of Subintuitionistic Logics, 13th International Tbilisi Symposium on Language, Logic, Computation, Congress, 2019-09-16, 2019-09-20
3. Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, Below Godel-Dommett, SYSMICS 2019, other, 2019-01-21, 2019-01-25
4. Shirmohammadzadeh Maleki Fatemeh, Neighborhood Semantics for subintuitionistic Logics, Algebra\Coalgebra Seminar of ILLC, 2016-02-24, 2016-02-24
5. شیرمحمدزاده ملکی فاطمه، همتاهای وجهی برای برخی منطق های زیرشهودی، نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، نشست تخصصی، 1401/09/08، 1401/09/08
6. Shirmohammadzadeh Maleki Fatemeh, Implicational fragment of some subintuitionistic logics, 14th Tbilisi symposium on logic language and computation (TbiLLc 2023), Congress, 2023-09-18, 2023-09-22

فصلی از کتاب

1. شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Subintuitionistic Logics with Kripke Semantics.Berlin:Springer, Berlin, Heidelberg،1395.
2. شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Two Neighborhood Semantics for Subintuitionistic Logics.Berlin:Springer, Berlin, Heidelberg،1398.
3. شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Binary Modal Companions for Subintuitionistic Logics.:Springer, Cham،1399.

طرح‌های پایان‌یافته

1. Binary modal logic and Unary Modal Logic, پایان یافته, 2022-07-23
2. معناشناسی همسایگی دیگری برای منطق شهودی، پایان یافته، 1401/12/29

سوابق تحصیلی

1. کارشناسی, ریاضی محض, دانشگاه شهید مدنی آذربایجان, 1386
2. کارشناسی ارشد, ریاضی محض, دانشگاه شهید بهشتی, 1391
3. دکتری, منطق ریاضی, دانشگاه شهید بهشتی, 1395

دروس ارائه شده

1. منطق تخصصی, نامشخص, 1381-82

زمینه پژوهشی مورد علاقه

1. منطق شهودی
2. منطق‌های زیرشهودی
3. منطق وجهی
4. منطق کلاسیک

زبان خارجی

1. انگلیسی , سطح نوشتن : متوسط, سطح خواندن : پیشرفته, سطح صحبت‌کردن : متوسط