Projects
Software, research, and practical experiments. A closer look at the problems and decisions behind the work.
Querying knowledge through time
Research on answering complex questions over temporal knowledge while making closed-world assumptions explicit.
Knowledge representation / Computational logic / AI
Reconstructing shape from light
Computer-vision research on recovering 3D surface shape from fewer uncalibrated images.
Computer vision / 3D reconstruction / Machine learning