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...... (More)

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...... (More)