Artificial Intelligence
Pursuing computing advances to create intelligent machines that complement human reasoning to augment and enrich our experience and competencies.
Project
Mechanism Design For Complex Systems
We are living in and interacting with many complex systems nowadays, including the advertising system, cloud system, large scale machine learning system, and multitenancy big data system. There are multiple kinds of players with different…
Project
LIKQ
LIKQ is a Language-Integrated Knowledge Query language. It allows users to query, search, and consume knowledge via graph traversal and lambda expressions in real time, making massive knowledge accessible at our fingertips.
Project
Symbolic Learning
The goal of this project is to build a symbolic knowledge service stack, providing the capability of knowledge storage and serving as well as knowledge learning and reasoning. This project tries to represent knowledge using…
Publication
Synthesizing Program Input Grammars
Video
Cambridge Lab Overview with Chris Bishop, Lab Director
Cambridge Lab Overview with Chris Bishop, Lab Director.
