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

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