In today's enterprise landscape, software development often resembles a game of telephone. Business users articulate needs, and—after those needs go through layers of marketing, product and ...

Our research area investigates the fundamental principles, processes and technologies for the design, verification, analysis, implementation and optimization of computational systems. Our interests ...

In the past few years, software engineering has undergone a rapid transformation. Artificial intelligence has moved from novelty to infrastructure. Tools like GitHub Copilot, Cursor, and Claude Code ...

With over a decade of experience in the software industry, Chuanrui Li has closely observed and actively participated in the transformative impact of artificial intelligence on the field of software ...