علیرضا مفیدی - دانشگاه صنعتی امیرکبیر

Alireza Mofidi, "Uniform Logical New Proofs for the Daniell–Stone Theorem and the Riesz Representation Theorem", BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, Vol. 0, Num. 0, Page 0-0, January 2022,

Alireza Mofidi, "ON THE VC-DIMENSION, COVERING AND SEPARATING PROPERTIES OF THE CYCLE AND SPANNING TREE HYPERGRAPHS OF GRAPHS", TRANSACTIONS ON COMBINATORICS, Vol. 0, Num. 0, Page 1-15, June 2021,

Alireza Mofidi, "ON THE VC-DIMENSION, COVERING AND SEPARATING PROPERTIES OF THE CYCLE AND SPANNING TREE HYPERGRAPHS OF GRAPHS", TRANSACTIONS ON COMBINATORICS, Vol. 0, Num. 0, Page 1-15, May 2021,

Alireza Mofidi, "On some aspects of measure and probability logics and a new logical proof for a theorem of Stone", AUT Journal of Mathematics and Computing, Vol. 3, Num. 0, Page 0-0, January 2021,

Alireza Mofidi, "On partial cubes, well-graded families and their duals with some applications in graphs", DISCRETE APPLIED MATHEMATICS, Vol. 0, Num. 0, Page 1-25, January 2020,

Alireza Mofidi, "On some dynamical aspects of NIP theories", ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 0, Num. 0, Page 1-35, September 2017,

سایر داده ها

, "Zero-sum flows in designs", Journal of Combinatorial Designs, Vol. , Num. , Page , 2014,

, "Nowhere zero 6-flows, a linear algebraic approach", Bull. Inst. Combin. Appl, Vol. , Num. , Page , 2013,

, "Quantified universes and ultraproducts", , Vol. , Num. , Page , 2013,

مقالات کنفرانس

داده های ثبت شده در پورتال

Alireza Mofidi, "Stability theory and representations ", 52nd Annual Iranian Math Conference, August 2021

Alireza Mofidi, "NIP theories and actions ", 51th annual Iranian mathematical conference, February 2021

Alireza Mofidi, "Dynamics and NIP theories ", Beijing Model Theory Meeting (دعوت شده به عنوان سخنران مدعو), May 2018

Alireza Mofidi, "On Combinatorial Features of Definable Set Systems in Model Theory ", The 2018 Chinese Mathematical Logic Conference (CMLC2018, May 2018

Alireza Mofidi, "On Some VC-combinatorial notions in computational geometry ", ICCG 2018 Conference on Computational Geometry, February 2018

Alireza Mofidi, "VC combinatorics of definable systems ", Logic Colloquium 2017, August 2017

Alireza Mofidi, "Symbolic dynamical views in model theory ", Logic Colloquium 2016, July 2016

Alireza Mofidi, "Some Characterizations in NIP Theories ", IPM Conference on Set Theory and Model Theory, October 2015

Alireza Mofidi, "Some dynamical approaches to NIP theories ", Logic Colloquium 2015, August 2015

افتخارات و جوایز

عناوین جوایز و افتخارات

تاریخ دریافت

مدال نقره مسابقات دانشجویی کشوری

2005

گرنت مرکز تحقیقات هانری پوانکاره پاریس فرانسه

2018

برنده شدن گرنت دانشگاه استکهلم سوئد

2017

گرنت از دانشگاه لیدز - انگلستان و انجمن منطق جهان ASL

2016

گرنت از دانشگاه هلسینکی - فنلاند

2015

عضویت‌های حرفه‌ای

عناوین عضویت‌هاى حرفه‌اى

توضیحات

عضو هیئت مدیره انجمن منطق ایران از 1394 تا 1398

عضویت در انجمن ریاضی ایران

فعالیت‌های اجرایی

عناوین فعالیت های اجرایی

توضیح / سازمان محل خدمت

تاریخ شروع

تاریخ خاتمه

مسئول استعدادهای درخشان و استاد مشاور دانشجویان ممتاز دانشکده ریاضی و علوم کامپیوتر

دانشکده ریاضی و علوم کامپیوتر

عضو هیئت مدیره انجمن منطق ایران

1395

1398

عضو کمیته علمی و تصحیح مسابقات ریاضی دانشجویی کشور

1388

1390

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

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

Foundation of Combinatorics

An introduction to fundamental notions and techniques of combinatorics

Fall 2021

Graph Theory

Relatively deep understanding of graph theory, it techniques and applications

Fall 2021

Foundation of Mathematics

A review on some essential notions and fundamental techniques of mathematics

Fall 2021

Foundation of Combinatorics

An introduction to fundamental notions and techniques of combinatorics

Spring 2021

Model Theory

A course in model theoretic notions, techniques and applications

Spring 2021

Combinatories & Its Applications

A review on some relatively advance notions and fundamental techniques of combinatorics

Spring 2021

Foundation of Combinatorics

An introduction to fundamental notions and techniques of combinatorics

Fall 2020

Foundation of Mathematics

A review on some essential notions and fundamental techniques of mathematics

Fall 2020

Graph Theory

Relatively deep understanding of graph theory, it techniques and applications

Fall 2020