Our goal
To advance scalable, intelligent, and responsible data-driven systems and software by integrating world-leading expertise in data analytics, knowledge extraction, FinTech, software architecture, software analysis, verification, and compilers.
Description
Our research drives progress at the intersection of data management and software engineering, addressing a broad spectrum of challenges鈥攆rom graph, spatial-temporal, and multimedia data to foundational analysis and verification techniques. It aims to deliver real-world impact across sectors such as finance, health, cybersecurity, programming, and education. At the same time, it fosters innovation in software engineering through advances in vulnerability detection, decentralised and distributed system architectures, and rigorous analysis methods, enhancing the quality, reliability, and security of modern data-driven and AI-enabled systems.