Biography: 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).
Biography: Shaoying Liu is a Professor of Software Engineering at Hiroshima University, Japan, IEEE Fellow, BCS Fellow, and AAIA Fellow. He received the Ph.D in Computer Science from the University of Manchester, U.K in 1992, and has experienced working and researching at 9 universities in China, the U.K., and Japan, including Xi’an Jiaotong University, the University of Manchester, the University of York, the University of Oxford, Hosei University, and Hiroshima University. His research interests include Formal Engineering Methods, Specification-based Program Inspection and Testing, Testing-Based Formal Verification (TBFV), Human-Machine Pair Programming(HMPP), Safety-Critical and Complex Systems, and Intelligent Software Engineering Environment. He is a pioneer and leading researcher in Formal Engineering Methods for Software Development. He proposed to use the terminology of "Formal Engineering Methods" in 1997, designed the SOFL (Structured Object-Oriented Formal Language) specification language and method, and founded the ICFEM conference in 1997 and SOFL+MVSL workshop in 2012, respectively. He has led more than 20 research projects funded by government agencies, private foundations, and industry since 1995, published a book entitled "Formal Engineering for Industrial Software Development" with Springer-Verlag, more than 13 edited books, and over 250 papers in refereed journals and international conferences. He has received many awards, including 2020 and 2022 Distinguished Research Awards from IPSJ/SIGSE, the “20 Year ICFEM Impact Award” from ICFEM 2018, “IEEE Reliability Society Japan Joint Chapter 2016 Best Paper Award”, and “Outstanding Paper Award’’ from ICECCS’96. In recent years, he has served as the General Chair of several international conferences, including QRS 2020 and ICECCS 2022. He is an Associate Editor for IEEE Transactions on Reliability and Innovations in Systems and Software Engineering, and a member of IPSJ and IEICE, respectively.
Biography: 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.
Biography: Dr. N.Ch. SRIMAN NARAYANA IYENGAR (b1961) is currently a Professor of Information Technology & Dean (Library) at Sreenidhi Institute of Science and Technology(SNIST), Hyderabad of SREENIDHI GROUP.
Dr. Iyengar holds two Ph.D.s: one in Applied Mathematics (REC Warangal 1991 A.P) and another in Computer Science and Engineering (BDU Trichy Tamil Nadu, 2017). Dr. Iyengar had a rich experience of 38+ years in Teaching and Research out of which 23 years at VIT University, Tamilnadu, India as HoD, Senior Professor, and also as Director. He is certified WIPRO Mission 10X member. He supervised many Research scholars, was involved in sponsored research projects of DST /UGC, etc., and also in Foreign Teaching/Research assignments under MOU. He is a Member of Granted Indian and German Design patents along with his student team. His students are throughout Globe in reputed Institutions/Organizations and Industries. His research interests include Distributed Secure Computing, Mathematical Modeling, Health Analytics, IT Applications for Rural Development, Intelligent computing, ML/AI applications, and Fluid Mechanics. He authored several textbooks on Mathematics and had nearly 270+ research publications. He organized several sponsored Conferences/STTP/FDP/CEP/Seminars/Webinars and Work Shops by AICTE/DST/DRDO/DIT/UGC/CSIR for the benefit of the Academic interest community.
He is an International Scientific Ambassador ECS Journal, Egypt, an International liaison for e-CASE, a life member of several professional bodies, delivered keynote lectures, Plenary lectures, and served as a Session Chair /PCM/Reviewer for many International Conferences. He is Editor in Chief /Guest Editor for many SCOPUS journals.
Dr Iyengar visited the University of Portsmouth (UK), University of Southampton Highfield Campus, University of Malaya,Hong Kong University, Rangsit University, Assumption University, KMUTT, University of Bangkok, and Wuhan University.
He received the 2017-2018 Best Teacher Award in Computer Science and Engineering from (RAYAT-BAHARA University, CHANDIGARH.), Lifetime Achievement Award on September 5, 2020, by Bestow Edutrex, Mumbai, Best Professor Award (For Educational and Mentor service to Rural Students) by Annamacharya group of Institutes, Hyderabad, Sept 5, 2022.