Amin Farjudian 计算机系副教授
计算机科学系 / 理工学院



联系方式 办公室
理工楼442

校园
University of Nottingham Ningbo China

地址
199 Taikang East Road, Ningbo, 315100, China

电话
+86 574 8818 0000 (ext 8634)

邮箱
Amin.Farjudian@nottingham.edu.cn



学历
PhD in Computer Science (2004) University of Birmingham, United Kingdom. Thesis: “Sequentiality in Real Number Computation”, Supervisor: Prof. Achim Jung, External Examiner: Prof. Abbas Edalat, Internal Examiner: Dr. Martin Escardó.
BSc in Pure Mathematics (2000) Sharif University of Technology, Tehran, Iran. Dissertation: “Modelling information change using non-well founded set-theory”, Supervisor: Prof. Mohammad Ardeshir.

个人简介
Since 2004, I have been working as a researcher and lecturer in mathematics and computer science, as follows:
2004—2006: Lecturer in Mathematics and Theoretical Computer Science, Department of Mathematical Sciences, Sharif University of Technology (Tehran/Iran).
2006-2009: Research Fellow in Computer Science, Aston University (UK), under the supervision of Dr. Michal Kone?ný. Subject:Denotational Semantics of Concurrent Systems Communicating Exact Real Numbers.
2009—2015: School of Computer Science, University of Nottingham Ningbo China (UNNC): I started off as a Teaching Fellow, before being promoted to Assistant Professor in 2011. From 2013 onwards, I focused on PDEs and Rearrangements of Functions.
2015—2017: In 2015, I joined the School of Information Technology in Halmstad University (Sweden) as a researcher, where I collaborated with Eugenio Moggi (University of Genoa, Italy) and Walid Taha (Halmstad University) on mathematical foundations of Cyber-Physical Systems.
2017—present: In October 2017, I returned to UNNC as an Associate Professor of Computer Science.
Expertise SummaryClassical and Computable (Mathematical) Analysis has been the common theme of most of my research. Currently, my research is focused on the following topics:
Denotational and Categorical Semantics of Cyber-Physical Systems (via Domain Theory)
Rearrangement Optimization Problems
Ordinary and Partial Differential Equations (theory, numerical methods, and optimization)
Over the years, I have carried out research in other areas of mathematics and computer science as well, including:
Computability and Complexity in Analysis
Algorithmic Randomness
Domain Theoretic Semantics of Concurrent Systems
Verification of Floating Point Software
Data Mining
Set Theory
Philosophy of Language
Research Gate:https://www.researchgate.net/profile/Amin_Farjudian


教学
My teaching mainly revolves around theoretical computer science, programming, and systems architecture. I have taught and developed courses both at postgraduate and undergraduate level. The courses I have developed include:
Advanced Theory of Computability (Postgraduate)
Theory of Computability (Undergraduate)
Distributed Systems Programming (Undergraduate)
Advanced Programming in Haskell (Undergraduate)
The courses I have taught at postgraduate level include:
Advanced Theory of Computability
Advanced Theory of Computational Complexity
Algorithms
The courses I have taught at undergraduate level include:
Theory of Computability
Formal Languages and Automata
Advanced Programming (Haskell)
Advanced Programming (C++)
Algorithms, Data Structures, and Problem Solving
Object Oriented Programming
Introduction to Programming and Algorithms
Programming (Java)
Programming (C)
Database Systems
Computer Systems Architecture
Operating Systems and Concurrency
Distributed Systems Programming
Skills for Communicating Information
In October 2012, I was awarded theUniversity of Nottingham Chancellor Award, in recognition of my contributions to the quality of teaching in the School of Computer Science.


发表文章
Refereed Journal PaperTilak Bhattacharya, Behrouz Emamizadeh, and Amin Farjudian:Existence of Continuous Eigenvalues for a Class of Parametric Problems Involving the (p, 2)-Laplacian Operator, Acta Applicandae Mathematicae, https://doi.org/10.1007/s10440-019-00241-9, 2019.
Eugenio Moggi, Amin Farjudian, Adam Duracz, and Walid Taha:Safe & Robust Reachability Analysis of Hybrid Systems,Theoretical Computer Science, 747:75-99, https://doi.org/10.1016/j.tcs.2018.06.020, 2018.
Behrouz Emamizadeh, Amin Farjudian, and Yichen Liu:Optimal harvesting strategy based on rearrangements of functions, Applied Mathematics and Computation, 320:677–690, http://dx.doi.org/10.1016/j.amc.2017.10.006, 2018.
Eugenio Moggi, Amin Farjudian, Adam Duracz, and Walid Taha:Safe & Robust Reachability Analysis of Hybrid Systems, arXiv:1709.05658 [cs.LO], 2017.
Behrouz Emamizadeh, Amin Farjudian, and Hayk Mikayelyan:An elliptic optimal control problem and its two relaxations, Journal of Optimization Theory and Applications, 172(2):455–465, http://dx.doi.org/10.1007/s10957-016-0983-1, 2017.
Behrouz Emamizadeh and Amin Farjudian:Existence and uniqueness of solutions for nonlocal p-Laplacian problems, Electronic Journal of Differential Equations, 2016(274):1–9, 2016.
Yichen Liu, Behrouz Emamizadeh, and Amin Farjudian:Optimization problems with fixed volume constraints and stability results related to rearrangement classes, Journal of Mathematical Analysis and Applications, 443(2):1293–1310, http://dx.doi.org/10.1016/j.jmaa.2016.06.017, 2016.
Behrouz Emamizadeh, Amin Farjudian, and Mohsen Zivari-Rezapour:Optimization related to some nonlocal problems of Kirchhoff type, Canadian Journal of Mathematics, 68(3):521–540, http://dx.doi.org/10.4153/CJM-2015-040-9, 2016.
Amin Farjudian and Behrouz Emamizadeh:Absolute continuity in partial differential equations. Real Analysis Exchange, 40(1):209–218, 2015.
Amin Farjudian and Behrouz Emamizadeh:Maximal mean exit time related to the p-Laplace operator. Applied Mathematics E-Notes, 14:173–184, 2014.
Behrouz Emamizadeh and Amin Farjudian:Monotonicity of the principal eigenvalue related to a non-isotropic vibrating string. Nonautonomous Dynamical Systems, 1:123–136, 2014.
Amin Farjudian and Behrouz Emamizadeh:Some Results on Radial Symmetry in Partial Differential Equations. New York Journal of Mathematics. 20:241–255, 2014.
Amin Farjudian:On the Kolmogorov complexity of continuous real functions. Annals of Pure and Applied Logic. 164(5):566–576, May 2013.
Michal Kone?ný and Amin Farjudian:Semantics of query-driven communication of exact values. Journal of Universal Computer Science, 16(18):2597–2628, 2010.
Michal Kone?ný and Amin Farjudian:Compositional semantics of dataflow networks with query-driven communication of exact values. Journal of Universal Computer Science, 16(18):2629–2656, 2010.
Amin Farjudian:Shrad: A language for sequential real number computation. Theory of Computing Systems, 41(1):49–105, 2007.
Amin Farjudian:Sequentiality and piecewise-affinity in segments of Real-PCF. Electronic Notes in Theoretical Computer Science, 73:3–43, October 2004.
Software LibraryKone?ný, M., Farjudian, A., and Duracz, J.AERN-Real: Arbitrary Precision Interval Arithmetic For Approximating Exact Real Numbers. A Haskell library: http://hackage.haskell.org/package/AERN-Real-0.9.8/AERN-Real.cabal. 2008.


学术交流
Selected Refereed papers at Conferences, Workshops & SeminarsMoggi, E., Farjudian, A., and Taha, W.System Analysis and Robustness. In: Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Ed. by Margaria, T., Graf, S., and Larsen, K. G. Springer International Publishing, pp. 36–44. isbn: 978-3-030-22348-9. doi: 10.1007/978-3-030-22348-9_4, 2019.
Farjudian, A.Computable Analysis of Linear Rearrangement Optimization. In: Theory and Applications of Models of Computation (TAMC 2019). Ed. by Gopal, T. V. and Watada, J. Vol. 11436. Lecture Notes in Computer Science. Springer, pages 172–187, doi: 10.1007/978-3-030-14812-6_11, 2019.
Jan Duracz, Amin Farjudian, Michal Kone?ný, and Walid Taha:Function Interval Arithmetic. In Hoon Hong and Chee Yap, editors, Mathematical Software ICMS 2014, volume 8592 of Lecture Notes in Computer Science, pages 677–684. Springer Berlin Heidelberg, 2014.
Kone?ný, M., Duracz, J., Farjudian, A., and Taha, W.Picard Method for Enclosing ODEs with Uncertain Initial Values. In: Proceedings of the Eleventh International Conference on Computability and Complexity in Analysis (CCA 2014). Technische Universitat Darmstadt, Germany. pp. 41—42, 2014.
Farjudian, A.Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures. In: Logic, Language, Information and Computation: Proceedings of the 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3{6, 2012. Ed. by Ong, L. and Queiroz, R. de. Vol. 7456. Lecture Notes in Computer Science. Springer, pp. 232—245, 2012.
Woodward, J. R. and Farjudian, A.Artificial Life, the Second Law of Thermodynamics, and Kolmogorov Complexity. In: 2010 IEEE International Conference on Progress in Informatics and Computing. Vol. 2. IEEE, pp. 1266—1269, 2010.
Farjudian, A. and Kone?ný, M.Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. In: Proceedings of the 15th international workshop on Logic, Language, Information and Computation, WoLLIC '08, Edinburgh, Scotland. Ed. by Hodges, W. and Queiroz, R. de. Vol. 5110. Lecture Notes in Artificial Intelligence. Springer-Verlag, pp. 149—163, 2008.
Aavani, A., Farjudian, A., Salmani-Jelodar, M., and Andalib, A.Information theoretic text classification. In: The 12th International CSI Computer Conference. Shahid Beheshti University, Iran, pp. 1613—1618, 2007.
Keynote SpeechFarjudian, A.Game Semantics and the Later Wittgenstein: A Computer Scientific Approach to Linguistics. Keynote speech at The 4th International Conference on Philosophy of Language, Faculty of Foreign Languages, Ningbo University, Ningbo, China, October 26--29, 2012.
Invited lecturesFarjudian, A.Domain-theory and semantics of distributed systems. In: 40^thAnnual Iranian Mathematics Conference, Special session: Domain Theory and Applications. Sharif University of Technology, Tehran, Iran, 2009.
Farjudian, A.Enclosure constraints for floating point software verification. In: Sixth International Workshop on Constraints in Formal Verification, a satellite event of the 21st International Conference on Computer Aided Verification, CAV 2009. Joint work with Jan Andrzej Duracz and Michal Kone?ný. Grenoble, France, 2009.
Farjudian, A.Shrad: A language for sequential real number computation. In: First Conference on Computability in Europe, CiE 2005, Special Session on Real Computation, Amsterdam, The Netherlands, June 8—12, 2005.