Abbas Edalat

Abbas Edalat is a Professor of Computer Science and Mathematics at the Department of Computing, Imperial College London. His research interests include differential and integral calculus, computational geometry, computation in logical form, optimisation theory, game theory, computational psychiatry, and attachment-based psychotherapy. He leads two research groups: Algorithmic Human Development and Continuous Data-Types and Exact Computation. Edalat has received the LICS 2017 Test-of-Time Award and has presented at various conferences, including the 7th International Symposium on Domain Theory and Applications. He is also an Adjunct Professor at the Institute for Research in Fundamental Sciences in Tehran, Iran.

Abbas Edalat is a researcher in the Department of Computing at Imperial College London, focusing on continuous data types, exact computation, and computational psychiatry/psychotherapy. His work explores the intersection of domain theory, computational mathematics, and real number computation, with applications in areas such as exact arithmetic, integration, and modeling of dynamical systems. Edalat's research also extends to computational psychiatry, where he investigates the use of computational models in understanding and treating mental health disorders. His publications include studies on bisimulation, metric spaces, and the semantics of exact real arithmetic, emphasizing rigorous mathematical foundations for computational processes.