Witold Pedrycz (Life Fellow, IEEE) received the M.Sc. degree in computer science, the Ph.D. degree in computer engineering, and the D.Sci. degree in systems science from the Silesian University of Technology, Gliwice, Poland, in 1977, 1980, and 1984, respectively.,He is a Professor and the Canada Research Chair of computational intelligence with the Department of Electrical and Computer Engineering, University of Alberta, Edmonton, AB, Canada. He is also with the System Research Institute, Polish Academy of Sciences, Warsaw, Poland. He has authored 15 research monographs covering various aspects of computational intelligence, data mining, and software engineering. His current research interests include computational intelligence, fuzzy modeling, granular computing, knowledge discovery and data mining, fuzzy control, pattern recognition, knowledge-based neural networks, relational computing, and software engineering.,Prof. Pedrycz was a recipient of the IEEE Canada Computer Engineering Medal, the Cajastur Prize for Soft Computing from the European Center for Soft Computing, the Killam Prize, and the Fuzzy Pioneer Award from the IEEE Computational Intelligence Society. He is intensively involved in editorial activities. He is an Editor-in-Chief of Information Sciences, WIREs Data Mining and Knowledge Discovery (Wiley), and the International Journal of Granular Computing (Springer). He currently serves as a member of a number of editorial boards of other international journals and is a Former Editor-in-Chief of IEEE Transactions on Systems, Man, and Cybernetics—Part A: Systems and Humans. He is a Foreign Member of the Polish Academy of Sciences. He is a Fellow of the Royal Society of Canada.(Based on document published on 25 December 2020).

Dr. Gul Agha is Professor Emeritus and Research Professor of Computer Science at the University of Illinois at UrbanaChampaign, and CEO of Embedor Technologies. Agha is a Fellow of the ACM, and Fellow of the IEEE. He was a recepient of the 2019 ACM SigSoft Impact Paper Award. Dr. Agha served as Editor-in-Chief of IEEE Concurrency: Parallel, Distributed and Mobile Computing (1994-98), and of ACM Computing Surveys (2000-07). Dr. Agha is best known for his formalization of the Actor model which has been realized in industrial programming languages and frameworks such as Erlang, Scala/Akka, and Orleans. Agha and his research group developed Concolic Testing for programs with memory and concurrency. Concolic testing has been incorporated in industrial software testing tools such as KLEE, Microsoft SAGE, and S2E. Dr. Agha developed methods for Statistical Model Checking (SMC). SMC has been applied to biological systems and cyberphysical systems. Dr. Agha research also led to Euclidean model checking, a method to reason about the evolution of probability distributions. Other research contributions include methods to harness computational learning for program verification; logical methods for automated decentralized, predictive runtime verification of programs; and distributed algorithms for wireless sensor networks (WSNs). Dr. Agha co-founded Embedor Technologies which is applying WSNs to continually monitor the structural health of bridges, buildings and railroad tracks. Embedor's technology was used to monitor the world largest Ferris wheel during construction. (More)