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 65 records.
|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|
|McKinley, Kathryn||Computer Science; Center for Women's and Gender Studies||Professor McKinley's main research focus is on developing compiler algorithms, runtime systems, and tools that enable programmers to use a high-level programming style and modern languages, and …|
|Miikkulainen, Risto||Computer Science||Neural networks and genetic algorithms. On one hand, the goal is to better understand human information processing, and on the other, to develop more intelligent artificial systems that learn and …|