Projects
Established:
We present a health data record management application on a low-cost digital slate prototype (UX’12) built through iterative prototyping.
Established:
When students are stuck with a math problem, searching online for help can be challenging. Typing complex math problems also poses a significant barrier. We look to reimagine input modalities through camera to make search easily accessible on mobile devices…
Through this interactive machine translation tool, we hope to not only provide help for human-aided translations for underserved languages but also for certain use cases for highly resourced languages where a human in the loop can help aid translation activities.
Established:
In the iBox project, we focus on the goal of “learning the network” to recreate real-world, end-to-end network path behaviour, based on input-output packet trace telemetry.
Established:
Developing a smartphone-based paid crowdsourcing platform that offers local-language digital work and is accessible to people in rural communities
Established:
Angelic verification (AV) brings the benefits of static assertion checking to production software without inundating users with false alarms and not burdening them with upfront modeling. In other words, the goal of AV is to democratize static assertion checking for…
Project Everest aims to build and deploy a verified HTTPS stack, constructing a high-performance, standards-compliant, and verified implementation of the full HTTPS ecosystem.