Prof. Shaoying Liu, IEEE Fellow
Hiroshima Univesrity, Japan

Shaoying Liu is a Professor of Software Engineering at Hiroshima University, Japan, IEEE Fellow, BCS Fellow, and AAIA Fellow. 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.

 

 

Prof. Hamid Jafarkhani, IEEE Fellow, AAAS Fellow
University of California Irvine, USA

Hamid Jafarkhani is a Chancellor's Professor at the Department of Electrical Engineering and Computer Science, University of California, Irvine, where he is also the Director of Center for Pervasive Communications and Computing, the former Director of Networked Systems Program, and the Conexant-Broadcom Endowed Chair. He is the 2020-2022 elected Faculty Chair of the UCI School of Engineering. He was a Visiting Scholar at Harvard University in 2015 and a Visiting Professor at California Institute of Technology in 2018. Among his awards are the NSF Career Award, the UCI Distinguished Mid-Career Faculty Award for Research, the School of Engineering Excellence in Research Senior Career Award, the IEEE Marconi Prize Paper Award in Wireless Communications, the IEEE Communications Society Award for Advances in Communication, the IEEE Wireless Communications Technical Committee Recognition Award, the IEEE Signal Processing and Computing for Communications Technical Recognition Award, and the IEEE Eric E. Sumner Award. Dr. Jafarkhani is listed as an ISI highly cited researcher. According to the Thomson Scientific, he is one of the top 10 most-cited researchers in the field of "computer science" during 1997-2007. He is the 2017 Innovation Hall of Fame Inductee at the University of Maryland's School of Engineering. He is a Fellow of AAAS, an IEEE Fellow, a Distinguished Fellow of IETI, and the author of the book "Space-Time Coding: Theory and Practice."

 

 

Prof. Abhik Roychoudhury
National University of Singapore, Singapore

Abhik Roychoudhury is a Provost’s Chair Professor of Computer Science at the National University of Singapore, where he has been working since 2001 after receiving his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. Abhik’s research focuses on software testing and analysis, software security and trust-worthy software construction. His research was honored with IEEE TCSE New Directions Award in 2022 (jointly with Cristian Cadar) for contributions to symbolic execution, as well as with International Conference on Software Engineering (ICSE) 2023 Most Influential Paper Award for an ICSE 2013 paper suggesting semantic approaches towards program repair. His former doctoral students have been placed all over the world as academics (University College London, Max-Planck Institute, University of Melbourne and other places). He has chaired the major conferences in software engineering as Program co-chair of ICSE 2024, General Chair of FSE 2022 in Singapore, and Program chair of ISSTA 2016. His research group is known for contributions to automatic programming, program repair, fuzzing and symbolic execution.