Dr Amin Farjudian PhD

Dr Amin Farjudian

School of Mathematics
Associate Professor in Mathematics
Head of Education (J-BJI)

Contact details

Address
School of Mathematics
Watson Building
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Dr Farjudian is an Associate Professor in the School of Mathematics, where he has been based since 2023. His research interests are primarily in domain theory and topology.

Qualifications

  • PhD in Computer Science, University of Birmingham, 2004
  • BSc in Pure Mathematics, Sharif University of Technology (Tehran, Iran), 2000

Biography

Since obtaining his PhD in Computer Science in 2004 (University of Birmingham, UK), Amin has been working as a mathematician and computer scientist. He has published in several areas including domain theory, ordinary and partial differential equations, eigenvalue problems, symmetrisation, rearrangements of functions, machine learning, and mathematical logic.

Teaching

Semester 2

LC Vectors, Geometry and Linear Algebra (Jinan)

Postgraduate supervision

Amin Farjudian supervises students in domain theory and topology.

Research

Research Themes

  • Topology
  • Domain Theory
  • Robustness Analysis

Research Activity

Amin Farjudian is interested in the interplay between mathematics and computer science, and the investigation of how the two disciplines enrich each other. He has published in several areas of mathematics and computer science, including domain theory, ordinary and partial differential equations, eigenvalue problems, symmetrisation, rearrangements of functions, machine learning, and mathematical logic. His research is currently focused on developing domain-theoretic frameworks for analysis of mathematical problems arising in differential equations, machine learning, cyber-physical systems, and programming semantics.

The tight link between topology and computability is well-known and has been investigated extensively. Nonetheless, when the topological spaces involved do not have favourable properties (e.g., when they are not locally compact) the classical methods are not adequate for laying a computational foundation. Such spaces arise in the study of some of the most important problems of classical and modern mathematics, e.g., functional analysis, ordinary and partial differential equations, probabilistic programming, and machine learning, to name a few. Amin's current research aims to address problems of this kind, through a combination of methods from topology, domain theory, category theory, and classical real and functional analysis.

Publications

Recent publications

Article

Qi, Y, Zhu, Y, Wang, S, Fu, P, Gao, Z, Marsh, S & Farjudian, A 2025, 'A knowledge graph-driven method for automated Geo-computations: Illustrated with soil erosion and soil potential productivity cases in China', International Journal of Applied Earth Observation and Geoinformation, vol. 143, 104779. https://doi.org/10.1016/j.jag.2025.104779

Qi, Y, Zhu, Y, Wang, S, Zhong, Y, Marsh, S, Farjudian, A & Du, H 2025, 'Linking Geo-Models for Geomorphological Classification Using Knowledge Graphs', Computers and Geosciences. https://doi.org/10.1016/j.cageo.2025.105873

Zhao, X, Farjudian, A & Bellotti, A 2025, 'Pruning convolutional neural networks for inductive conformal prediction', Neurocomputing, vol. 611, 128704. https://doi.org/10.1016/j.neucom.2024.128704

Farjudian, A & Jung, A 2024, 'Continuous Domains for Function Spaces Using Spectral Compactification', Electronic Notes in Theoretical Informatics and Computer Science, vol. 4, 8. https://doi.org/10.46298/entics.14736

Duo, L, Chen, Y, Liu, Q, Ma, Z, Farjudian, A, Ho, WY, Low, SS, Ren, J, Hirst, JD, Xie, H & Tang, B 2024, 'Discovery of novel SOS1 inhibitors using machine learning', RSC Medicinal Chemistry, vol. 15, no. 4, pp. 1392 -1403. https://doi.org/10.1039/D4MD00063C

Zhou, C, Shaikh, RA, Li, Y & Farjudian, A 2023, 'A domain-theoretic framework for robustness analysis of neural networks', Mathematical Structures in Computer Science, vol. 33, no. 2, pp. 68-105. https://doi.org/10.1017/S0960129523000142

Du, H, Alechina, N, Farjudian, A, Logan, B, Zhou, C & Cohn, AG 2023, 'A Logic of East and West', Journal of Artificial Intelligence Research, vol. 76, pp. 527-565. https://doi.org/10.1613/JAIR.1.14113

Farjudian, A 2023, 'Bridging Mathematics and Computer Science Through Threshold Concepts', IEEE Transactions on Education, vol. 66, no. 2, pp. 139-145. https://doi.org/10.1109/TE.2022.3200162

Savi, F, Farjudian, A, Buticchi, G, Barater, D & Franceschini, G 2023, 'Numerical Robustness Evaluation of Floating-Point Closed-Loop Control Based on Interval Analysis', Electronics (Switzerland), vol. 12, no. 2, 390. https://doi.org/10.3390/electronics12020390

Edalat, A, Farjudian, A & Li, Y 2023, 'Recursive Solution of Initial Value Problems with Temporal Discretization', Theoretical Computer Science, vol. 980, 114221. https://doi.org/10.1016/j.tcs.2023.114221

Conference article

Odle, E, Lin, PC & Farjudian, A 2025, 'Discerning music genres: Exploring neural network architectures for automated classification', Procedia Computer Science, vol. 270, pp. 1679-1688. https://doi.org/10.1016/j.procs.2025.09.288

Li, Z, Farjudian, A & Du, H 2024, 'A Logic of East and West for Intervals', Leibniz International Proceedings in Informatics, vol. 315, 17. https://doi.org/10.4230/LIPIcs.COSIT.2024.17

Conference contribution

Li, Y, Du, N, Song, X, Yang, X, Cui, T, Xue, N, Farjudian, A, Ren, J & Cheah, WP 2024, Cardinality and Bounding Constrained Portfolio Optimization Using Safe Reinforcement Learning. in 2024 International Joint Conference on Neural Networks (IJCNN)., 10651491, Proceedings of International Joint Conference on Neural Network, vol. 2024, IEEE, 2024 International Joint Conference on Neural Networks (IJCNN), Yokohama, Japan, 30/06/24. https://doi.org/10.1109/IJCNN60899.2024.10651491

Xiong, Z, Lin, PC & Farjudian, A 2023, Retaining Semantics in Image to Music Conversion. in 2022 IEEE International Symposium on Multimedia (ISM)., 10019705, IEEE International Symposium on Multimedia, IEEE, pp. 228-235, 24th IEEE International Symposium on Multimedia, ISM 2022, Virtual, Online, Italy, 5/12/22. https://doi.org/10.1109/ISM55400.2022.00051

Dagnino, F, Farjudian, A & Moggi, E 2023, Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. in Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. 1 edn, vol. 14446, Lecture Notes in Computer Science, vol. 14446, Springer, pp. 313–331, 20th International Colloquium on Theoretical Aspects of Computing
, Lima, Peru, 4/12/23. https://doi.org/10.1007/978-3-031-47963-2_19

View all publications in research portal