Improve existing software. Create technologies that make everyday life better. Use computer science, and smartphones to capture more data from citizen scientists. Software is everywhere: interfaces to ...

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