Research Areas

Applied Probability & Mathematical Finance

Automata, Logic and Formal Methods

Computational Geometry

Computer Architecture

Machine Learning

Programming Languages

Quantum Computation and Quantum Information Theory

Systems Biology