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