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

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

Bjarne Stroustrup, the creator of the C++ programming language, once said that "our civilization runs on software." This statement is impressively backed by reality, in which software controls a huge ...