Dr Amin Farjudian PhD

Dr Amin Farjudian

School of Mathematics
Associate Professor

Contact details

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

Dr. Farjudian is an Associate Professor in pure mathematics in the School of Mathematics, where he has been based since 2023.

His research interests are primarily in domain theory, ordinary and partial differential equations, and machine learning. 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, and mathematical logic.

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, in Sharif University of Technology, Tehran, Iran (2004-2006), Aston University, Birmingham, UK (2006-2009), University of Nottingham Ningbo China (2009-2015 and 2017-2023), and Halmstad University, Sweden (2015-2017). He is currently an Associate Professor in the School of Mathematics at the University of Birmingham.

Teaching

Semester 2

LC Vectors, Geometry and Linear Algebra (Jinan)

Postgraduate supervision

Amin Farjudian supervises students in mathematical foundations of computer science.

PhD opportunities

Research

Research Themes

  • Domain Theory
  • Robustness Analysis
  • Ordinary and Partial Differential Equations
  • Machine Learning

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, 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, or not core-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 domain theory, category theory, and classical real and functional analysis.

For instance, in a recent collaboration with Prof. Eugenio Moggi (University of Genoa, Italy) he has developed a domain-theoretic framework for robustness analysis of systems with state spaces that are not (locally) compact. Such systems include those that are modelled using differential equations, and also problems arising in kernel methods in machine learning.

In a related line of investigation, in collaboration with Professor Abbas Edalat (Imperial College London, UK) he has developed a domain model for solution of initial value problems (IVPs) with temporal discretisation. The topological spaces that arise in temporal discretisation of IVPs are not core-compact, hence the classical domain models are not adequate for addressing them. Thus, a novel approach had to be adopted for overcoming the challenge posed by temporal discretisation of IVPs, as appears in the common numerical methods such as Euler and Runge-Kutta methods for solving IVPs.

The long-term goal of Amin's research is establishing further links between the discrete world of Turing machines and the continuous world of mathematical analysis through the theory of domains.

Publications

Recent publications

Article

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

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

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

Farjudian, A & Moggi, E 2023, 'Robustness, Scott continuity, and Computability', Mathematical Structures in Computer Science, vol. 33, no. 6, pp. 536–572. https://doi.org/10.1017/S0960129523000233

Edalat, A, Farjudian, A, Mohammadian, M & Pattinson, D 2020, 'Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems', Electronic Notes in Theoretical Computer Science, vol. 352, pp. 105-128. https://doi.org/10.1016/j.entcs.2020.09.006

Bhattacharya, T, Emamizadeh, B & Farjudian, A 2020, 'Existence of Continuous Eigenvalues for a Class of Parametric Problems Involving the (p, 2) -Laplacian Operator', Acta Applicandae Mathematicae, vol. 165, no. 1, pp. 65-79. https://doi.org/10.1007/s10440-019-00241-9

Chapter

Moggi, E, Farjudian, A & Taha, W 2019, System Analysis and Robustness. in Models, Mindsets, Meta: The What, the How, and the Why Not?. 1 edn, Lecture Notes in Computer Science, vol. 11200, Springer Verlag, pp. 36-44. https://doi.org/10.1007/978-3-030-22348-9_4

Conference contribution

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

Guo, Y, Li, Y & Farjudian, A 2023, Validated Computation of Lipschitz Constant of Recurrent Neural Networks. in ICMLSC '23: Proceedings of the 2023 7th International Conference on Machine Learning and Soft Computing. ICMLSC: Machine Learning and Soft Computing, Association for Computing Machinery , pp. 46-52, 7th International Conference on Machine Learning and Soft Computing, ICMLSC 2023, Chongqing, China, 5/01/23. https://doi.org/10.1145/3583788.3583795

Buticchi, G, Farjudian, A, Oh, J & Tarisciotti, L 2022, An ANN-Assisted Control for the Power Decoupling of a Multiple Active Bridge DC-DC Converter. in IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society., 9968534, Proceedings of the Annual Conference of the IEEE Industrial Electronics Society., IEEE, 48th Annual Conference of the IEEE Industrial Electronics Society, IECON 2022, Brussels, Belgium, 17/10/22. https://doi.org/10.1109/IECON49645.2022.9968534

Qi, Y, Du, H, Farjudian, A & Zhu, Y 2022, Representing Computational Relations in Knowledge Graphs Using Functional Languages. in T Ishikawa, SI Fabrikant & S Winter (eds), 15th International Conference on Spatial Information Theory (COSIT 2022)., 29, Leibniz International Proceedings in Informatics (LIPIcs), vol. 240, Schloss Dagstuhl, 15th International Conference on Spatial Information Theory, COSIT 2022, Kobe, Japan, 5/09/22. https://doi.org/10.4230/LIPIcs.COSIT.2022.29

Farjudian, A 2019, Computable analysis of linear rearrangement optimization. in TV Gopal & J Watada (eds), Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11436 LNCS, Springer Verlag, pp. 172-187, 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, Kitakyushu, Japan, 13/04/19. https://doi.org/10.1007/978-3-030-14812-6_11

View all publications in research portal