Theoretical Computer Science Group
Research interests: parallel computing, scheduling, resource allocation, transactional memory, cache-aware, and cache-oblivious streaming.
Research interests: algorithms for resource allocation and scheduling, and verification and validation of safety-critical systems.
Research interests: theoretical artificial intelligence, computational learning theory, data analysis, proof complexity and automated reasoning, theory of semantic communication, and computational complexity.
Research interests: design and analysis of algorithms, online and approximation algorithms, parallel computing, large data analysis, green computing and algorithmic applications.
Copyright © 2014 Washington University in St. Louis