Artificial Intelligence

Research by the Artificial Intelligence Group is multi-disciplinary, spanning genomics and bio-informatics, machine learning, stochastic algorithms, game theory, automated theorem proving, computer vision, and human-like computation.