There has been quite some discussion in the recent past how well abstraction really works in enabling system design and verification. As I admitted in “Confessions of an ESL-Aholic” a while back, I ...

For decades, software engineering has been associated primarily with technical mastery: algorithms, programming languages, system architectures, and tools. Yet, every few years, the field rediscovers ...

The boundaries between IP reuse, interconnect design, and hardware-software integration are no longer independent.

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 ...

Software engineering is the branch of computer science that deals with the design, development, testing, and maintenance of software applications. Software engineers apply engineering principles and ...

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

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 ...

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 ...

In my previous article “What Manufacturers Need to Know about Software-Defined Automation”, I discussed how Software-defined automation (SDA) is changing the nature of industrial automation, with a ...