Browse Research by Faculty Name
Filtered by Department: Computer Science
Click on a faculty member's name to view the full profile, including any posted projects.
Displaying 21 - 30 of 67 records.
|Hayat, Mubariz||Computer Science; Economics; Statistics and Scientific Computation|
|Hunt, Warren||Computer Science||Professor Hunt's research involves the use of formal mathematics to write specifications for computer hardware and software and to use proof techniques to determine the validity of such …|
|Kaufmann, Matthew||Computer Science||Mechanical theorem proving|
|Klivans, Adam||Computer Science||Machine Learning, Derandomization, Randomized Algorithms, Computational Complexity, Cryptography, Extremal Combinatorics.|
|Lam, Simon||Computer Science||Communication protocols, computer networks, performance models, formal verification methods, and network security|
|Lease, Matthew||Computer Science; School of Information||Information Retrieval & Search Engines Crowdsourcing & Human Computation Natural Language Processing & Human Language Technologies|
|Lenharth, Andrew||Computer Science||Galois is a system that automatically executes "Galoized" serial C++ or Java code in parallel on shared-memory machines. It works by exploiting amorphous data-parallelism, which is present …|
|Leonetti, Matteo||Computer Science||Autonomous Intelligent Robotics|
|Lifschitz, Vladimir||Computer Science; Philosophy||Computational logic and knowledge representation, Commonsense knowledge and reasoning, Answer set programming|
|Lin, Calvin||Computer Science||Compilers and computer architecture, parallel computing|