ALIREZA MOFIDI - Amirkabir University of Technology

Professional Skills

#

Title

Date of activity

1

Python, Pytorch, Pytorch-Geometric, Tensorflow, Keras, Scikit-Learn, Pandas, Numpy, Networkx, etc

2

ASP.Net, PHP, JavaScript, SQL, SQL Server

3

MATLAB, MAPLE

Research Interests

#

Title

Start date

1

Machine Learning, Data Science, Mathematical Logic, Combinatorics and Graphs, Networks

Supervised MSc Theses

#

Thesis title

By

Date

1

on combinatorial dimension of some notions from graphs, hypergraphs and machine learning

PARNIYAN SHAMS SOULARI

2024 Feb

2

Fuzzy mappings in quazi fuzzy normed spaces

MAHDI MONAGHESHE & MEHDI ROSTAMI

2022 Oct

3

Prediction of microRNA-disease associations based on integrating different molecular data

SOHRAB SALEHI ARASHLOO & FATEMEH ZARE MIRAKABAD

2022 Oct

4

Some combinatorial and logical approaches to large systems

FATEME HASANI SATEHI

2022 Jan

5

Transversals and Dominating sets in Set-Systems and their Applications

MINA SOLTANI NEJAD

2020 Feb

6

VC-combinatorics, types and minimality

MITRA AHMADI

2019 Oct

7

Godels incompleteness theorem from philosophy of mathematics point of view

FATEMEH GHAHREMANIAN

2019 May

8

Combinatorial Approaches in Pseudofinite Model Theory

SHAHAB MIRBEHRESI

2019 Feb

9

Some combinatorial aspects of classification of first order theories

AREF DALIRI SHADBAD

2017 Nov

10

Definability, type definability and NIP theories

ROUHOLLAH MOFID

2017 Oct

11

Hypergraphs, knowledge, machine learning and logic

HOSAIN SHIRAVI

2026 Apr

12

Knowledge graphs and their machine learning and logical aspects

NARGES NIKNAM

2025 Oct

13

Existence and Uniqueness of solution for Nonlinear Boundary Value problems by using Generalized Riesz-Caputo Operator

FARSHID ZAREI & SEYED MANSOUR VAEZPOUR

2025 Mar

Journal Papers

1

MOFIDI ALIREZA, "Some Mathematical Logical Proofs for the Radon-Nikodym Theorem and the Stone Representation Theorem for Measure Algebras", Iranian Journal of Mathematical Sciences and Informatics, 2025 Oct vol. 20, no. 2, pp.173-189, 2025.

2

GHOLAMI FATEMEH ، RAHMATI ZAHED ، MOFIDI ALIREZA ، Abbaszadeh Mostafa, "On Enhancement of Text Classification and Analysis of Text Emotions Using Graph Machine Learning and Ensemble Learning Methods on Non-English Datasets", Algorithms, 2023 Oct vol. 16, no. 10, pp.470-484, 2023.

3

MOFIDI ALIREZA, "On Dominating Graph of Graphs, Median Graphs, Partial Cubes and Complement of Minimal Dominating Sets", Graphs and Combinatorics, 2023 Aug vol. 0, no. 0, , 2023.

4

MOFIDI ALIREZA, "ON THE NUMBER OF CYCLES OF GRAPHS AND VC-DIMENSION", Facta Universitatis-Series Mathematics and Informatics, 2022 Apr vol. 37, no. 1, pp.121-135, 2022.

5

MOFIDI ALIREZA, "Logic, measures and unbounded integration logic", , 2022 Mar vol. 12, no. 2, pp.1-13, 2022.

6

MOFIDI ALIREZA, "Uniform Logical New Proofs for the Daniell-Stone Theorem and the Riesz Representation Theorem", Bulletin of The Iranian Mathematical Society, 2022 Jan vol. 0, no. 0, , 2022.

7

MOFIDI ALIREZA, "ON THE VC-DIMENSION, COVERING AND SEPARATING PROPERTIES OF THE CYCLE AND SPANNING TREE HYPERGRAPHS OF GRAPHS", Transactions On Combinatorics, 2021 Jun vol. 0, no. 0, pp.1-15, 2021.

8

MOFIDI ALIREZA, "ON THE VC-DIMENSION, COVERING AND SEPARATING PROPERTIES OF THE CYCLE AND SPANNING TREE HYPERGRAPHS OF GRAPHS", Transactions On Combinatorics, 2021 May vol. 0, no. 0, pp.1-15, 2021.

9

MOFIDI ALIREZA, "On some aspects of measure and probability logics and a new logical proof for a theorem of Stone", .Aut Journal of Mathematics and Computing, 2021 Jan vol. 3, no. 0, , 2021.

10

MOFIDI ALIREZA, "On partial cubes, well-graded families and their duals with some applications in graphs", Discrete Applied Mathematics, 2020 Jan vol. 0, no. 0, pp.1-25, 2020.

11

MOFIDI ALIREZA, "On some dynamical aspects of NIP theories", Archive For Mathematical Logic, 2017 Sep vol. 0, no. 0, pp.1-35, 2017.

1

Alireza Mofidi, "Logic, measures and unbounded integration logic", Logic Studies, 2022 vol. , no. , p., 2022.

2

Alireza Mofidi, "Some Mathematical Logical Proofs for the Radon-Nikodym Theorem and the Stone Representation Theorem for Measure Algebras", Ijmsi, 2022 vol. , no. , p., 2022.

3

Alireza Mofidi, S. Akbari, G. Khosrovshahi, "Zero-sum flows in designs", Journal of Combinatorial Designs, 2014 vol. , no. , p., 2014.

4

Alireza Mofidi, S. Akbari, G. Khosrovshahi, "Nowhere zero 6-flows, a linear algebraic approach", Bull. Inst. Combin. Appl, 2013 vol. , no. , p., 2013.

5

Alireza Mofidi, M. Bagheri, "Quantified universes and ultraproducts", Math Logic Quarterly, 2013 vol. , no. , p., 2013.

Conference Papers

1

MOFIDI ALIREZA, "Stability theory and representations,", 52nd Annual Iranian Math Conference, Aug 2021.

2

MOFIDI ALIREZA, "NIP theories and actions,", 51th annual Iranian mathematical conference, Feb 2021.

3

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

4

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

5

MOFIDI ALIREZA, "On Some VC-combinatorial notions in computational geometry,", ICCG 2018 Conference on Computational Geometry, Feb 2018.

6

MOFIDI ALIREZA, "VC combinatorics of definable systems,", Logic Colloquium 2017, Aug 2017.

7

MOFIDI ALIREZA, "Symbolic dynamical views in model theory,", Logic Colloquium 2016, Jul 2016.

8

MOFIDI ALIREZA, "Some Characterizations in NIP Theories,", IPM Conference on Set Theory and Model Theory, Oct 2015.

9

MOFIDI ALIREZA, "Some dynamical approaches to NIP theories,", Logic Colloquium 2015, Aug 2015.

Awards & Honors

#

title

Date

1

Silver Medal in National Mathematical Competition for University Students

2

Research Grant, Institut Henri Poincaré (IHP)- Paris (France)

3

Grant (research, visiting), University of Stockholm (Sweden)

4

Grants (research, visiting), University of Leeds (UK)

5

Research Grant, University of Helsinki (Finland)

6

Research Grant, University of Lisbon (Portugal)

7

Research Grant, ICTP, Trieste, (Italy)

Taught Courses

#

Course title

Description

Headlines

Date

1

Special Topics (Deep Learning and Computational Physics)

4042

2

Model Theory

4042

3

Special Topics (Machine Learning With Graphs)

4041

4

Topics in Mathematical Logic

4041

5

Optimization and Neural Networks

4032

6

Model Theory

4032

7

Foundation of Mathematics

4032

8

Foundation of Mathematics

4032

9

COMPUTATIONAL LOGIC

4031

10

Graph Theory

4031