Amin Farjudian
Associate Professor
School of Computer Science
University of Nottingham Ningbo China
China
Biography
As an undergraduate student, I studied Pure Mathematics, in the Department of Mathematical Sciences of Sharif University of Technology (Tehran, Iran), in a very vibrant academic environment, alongside some of the brightest young minds, including the late Fields medal winner Maryam Mirzakhani. I wrote my undergraduate dissertation on non-well-founded set theory, under the supervision of Prof. Mohammad Ardeshir, and obtained my BSc in 2000. Having passed 44 credits of postgraduate courses while studying as an undergraduate student, I went on directly to PhD studies in the University of Birmingham (UK), where, in 2004, I obtained my PhD in Computer Science, under the supervision of Prof. Achim Jung, one of the leading figures in Domain Theory. 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. Later, from 2013 onwards, I collaborated closely with Behrouz Emamizadeh (UNNC, School of Mathematical Sciences) on PDEs and Rearrangements of Functions. 2015—2017: In 2015, I joined the School of Information Technology in Halmstad University (Sweden) as a researcher working on Energy Efficient Computing over Heterogeneous Many-Core Architectures. 2017—Present: In October 2017, I came back to UNNC as an Associate Professor of Computer Science.
Research Interest
Rearrangement Optimization Problems Denotational and Categorical Semantics of Cyber-Physical Systems Partial Differential Equations Energy Efficient Computing
Publications
-
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.
-
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 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.