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 make daily work more manageable on mobile devices, deliver medicine to cancer patients, and help airports run smoothly.
We develop computer science education software, citizen science software in the natural environment, and software synthesis and verification. Our research also focuses on communication for software engineers.
"The availability of smartphones make collection and sharing data easier, faster, and more accurate."