Find Academic Supervisors

Hong MeiView profile

Professor

• Software architecture
• Program analysis and testing
• Software System for Cloud Computing and Big Data
• +5 more

Mei Hong is a Professor and Vice President for HR and International Collaboration at Beijing Institute of Technology since 2016. Previously, she held leadership roles including Vice President for Research at Shanghai Jiao Tong University (2013-2016) and Dean of the School of Electronics Engineering and Computer Science at Peking University (2006-2014). She has made groundbreaking contributions to software engineering and system software fields. BSc and MSc in Computer Science & Engineering from Nanjing University of Aeronautics & Astronautics (1984, 1987) PhD in Computer Science and Technology from Shanghai Jiao Tong University (1992) Her research focuses on software architecture , component-based software engineering , and cloud computing/big data systems . She has led over 40 grants totaling 200+ million CNY and holds 20+ patents. Her work addresses critical challenges in software lifecycle modeling, interoperability, and standardization. As a leading authority in software engineering, she has received China's highest honors including State Awards for Science and Technology Progress (2006), Technology Invention (2008), and Natural Science (2012). She was elected Member of the Chinese Academy of Sciences in 2011 and IEEE Fellow in 2014. Executive Editor-in-Chief of Science China-Information Sciences (2012-2017) Editor-in-Chief of Science China-Information Sciences (2018-present) Advisory Board Member of Alibaba DAMO Academy (2017-present)

Kung-Kiu LauView profile

Senior Lecturer

• Component-based Software Development
• Computational Logic
• Software Engineering
• +12 more

Kung-Kiu Lau is a Senior Lecturer at the School of Computer Science, University of Manchester , specializing in Component-based Software Development and Computational Logic . He leads the Component-based Software Development research group and has supervised 11 PhD students. Research Focus: Component models, algebraic service composition, logic program synthesis, and IoT systems scalability. Key Contributions: Development of tools like X-MAN and D-XMAN for compositional software design, exploration of formal methods in software engineering, and foundational work on steadfast programs. Publications span IoT service composition, component certification, reverse engineering, and formal verification. His work addresses challenges in scalability, reusability, and automated synthesis of software components. Awards: ICIOT 2018 Best Paper Award

Mei HongView profile

Professor

• Software architecture
• Program analysis and testing
• Software System for Cloud Computing and Big Data
• +5 more

Mei Hong is a Professor and Vice President for HR and International Collaboration at Beijing Institute of Technology. Previously held roles include Professor and Vice President at Shanghai Jiao Tong University (2013-2016), Director of key national research centers at Peking University, and leadership positions in software engineering education and research. Holds dual academic leadership and technical expertise in software engineering. Education: BSc/MSc (Nanjing University of Aeronautics & Astronautics, 1984/1987); PhD (Shanghai Jiao Tong University, 1992). Research focuses on software architecture, cloud computing systems, component-based engineering, and software testing. Has pioneered the 'Internetware' paradigm and contributed to national standards for software development. Publications span software engineering methodologies and tools, with recent work emphasizing mobile computing optimization and automated testing techniques. Over 20 awards including IEEE Fellow (2014), Member of Chinese Academy of Sciences (2011), and multiple best paper awards. Advisory roles include Alibaba DAMO Academy's Academic Board, China's National Key R&D Program, and leadership in 863 High-Tech Program committees. PI of 40+ grants totaling over 200 million CNY. Editorial leadership includes SCIENCE CHINA-Information Sciences (Editor-in-Chief since 2018), ACM Computing Surveys, and top-tier journals/conferences. Active in conference organization (General Chair for ICSME 2017, SPLC 2016).