Z3-4Biology
An SMT-based Framework for Analyzing Biological Computation The basic principles governing the development and function of living organisms remain only partially understood, despite significant progress in molecular and cellular biology and tremendous breakthroughs in experimental…
Touchless Interaction in Medical Imaging
This project explores the use of new touchless technology in medical practice. With advances in medical imaging over the years, surgical procedures have become increasingly reliant on a range of digital imaging systems for navigation,…
Converging Worlds: A New Era of Computing
We are starting to see a fundamental transformation in how we interact with computers and what we can expect from them. Powered by insights from big data, more natural user interfaces, and a merging of…