Theoretical Computer Science Group

Faculty

Kunal Agrawal
Research interests: parallel computing, scheduling, resource allocation, transactional memory, cache-aware, and cache-oblivious streaming.
Sanjoy Baruah
Research interests: algorithms for resource allocation and scheduling, and verification and validation of safety-critical systems.
Brendan Juba
Research interests: theoretical artificial intelligence, computational learning theory, data analysis, proof complexity and automated reasoning, theory of semantic communication, and computational complexity.