Research Areas (field_research_areas) - Any -Artificial Intelligence-Computational Neuroscience-Robotics-Machine LearningGraphicsProgramming Languages-Formal Methods-Pure and Applied Logic-Software Engineering-Software Verification-Type TheorySecurity-Cryptography-Security and PrivacySystems-Computer Architecture-Databases-Data-Intensive and Cloud Computing-Distributed Systems-Mobile and Pervasive Computing-Networking-Operating Systems-Scientific ComputingTheory-Algorithms and Complexity-Game Theory-Performance Modeling & Analysis

Department - Any -Computer Science Department

Name	Research Area(s)
Umut Acar	Programming Languages Theory Algorithms and Complexity
Umut Acar	Programming Languages Theory Algorithms and Complexity
Umut Acar	Programming Languages Theory Algorithms and Complexity
Leman Akoglu	Artificial Intelligence
Jonathan Aldrich	Programming Languages Formal Methods Software Engineering Security Security and Privacy
George Amvrosiadis	Systems Data-Intensive and Cloud Computing Distributed Systems Operating Systems Scientific Computing
George Amvrosiadis	Systems Data-Intensive and Cloud Computing Distributed Systems Operating Systems Scientific Computing
George Amvrosiadis	Systems Data-Intensive and Cloud Computing Distributed Systems Operating Systems Scientific Computing
Maria Balcan	Artificial Intelligence Machine Learning Theory Algorithms and Complexity
Maria Balcan	Artificial Intelligence Machine Learning Theory Algorithms and Complexity
Stephanie Balzer	Programming Languages Pure and Applied Logic Software Verification Type Theory Security Security and Privacy
Stephanie Balzer	Programming Languages Pure and Applied Logic Software Verification Type Theory Security Security and Privacy
Stephanie Balzer	Programming Languages Pure and Applied Logic Software Verification Type Theory Security Security and Privacy
Nathan Beckmann	Systems Computer Architecture Data-Intensive and Cloud Computing Mobile and Pervasive Computing Operating Systems Performance Modeling & Analysis
Nathan Beckmann	Systems Computer Architecture Data-Intensive and Cloud Computing Mobile and Pervasive Computing Operating Systems Performance Modeling & Analysis
Nathan Beckmann	Systems Computer Architecture Data-Intensive and Cloud Computing Mobile and Pervasive Computing Operating Systems Performance Modeling & Analysis
Nathan Beckmann	Systems Computer Architecture Data-Intensive and Cloud Computing Mobile and Pervasive Computing Operating Systems Performance Modeling & Analysis
Guy Blelloch	Programming Languages Theory Algorithms and Complexity
Guy Blelloch	Programming Languages Theory Algorithms and Complexity
Guy Blelloch	Programming Languages Theory Algorithms and Complexity
Guy Blelloch	Programming Languages Theory Algorithms and Complexity
David Brumley	Formal Methods Security Cryptography Security and Privacy Systems
Beidi Chen	Systems
Tianqi Chen	Machine Learning
Tianqi Chen	Machine Learning
Tianqi Chen	Machine Learning
Vincent Conitzer	Artificial Intelligence
Vincent Conitzer	Artificial Intelligence
Vincent Conitzer	Artificial Intelligence
Vincent Conitzer	Artificial Intelligence
Keenan Crane	Graphics Scientific Computing
Keenan Crane	Graphics Scientific Computing
Keenan Crane	Graphics Scientific Computing
Karl Crary	Programming Languages Security and Privacy
Karl Crary	Programming Languages Security and Privacy
Chris Donahue	Artificial Intelligence Machine Learning
Chris Donahue	Artificial Intelligence Machine Learning
Christos Faloutsos	Artificial Intelligence Machine Learning Systems Databases Distributed Systems
Christos Faloutsos	Artificial Intelligence Machine Learning Systems Databases Distributed Systems
Christos Faloutsos	Artificial Intelligence Machine Learning Systems Databases Distributed Systems
Giulia Fanti	Systems Networking Security and Privacy
Giulia Fanti	Systems Networking Security and Privacy
Matt Fredrikson	Programming Languages Formal Methods Security and Privacy
Matt Fredrikson	Programming Languages Formal Methods Security and Privacy
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Gregory Ganger	Systems Data-Intensive and Cloud Computing Distributed Systems
Phillip Gibbons	Systems
Phillip Gibbons	Systems
Phillip Gibbons	Systems
Mor Harchol-Balter	Systems Distributed Systems Networking Performance Modeling & Analysis Theory Algorithms and Complexity
Mor Harchol-Balter	Systems Distributed Systems Networking Performance Modeling & Analysis Theory Algorithms and Complexity
Robert Harper	Programming Languages Formal Methods Pure and Applied Logic Software Engineering Type Theory Networking Security and Privacy
Robert Harper	Programming Languages Formal Methods Pure and Applied Logic Software Engineering Type Theory Networking Security and Privacy
Robert Harper	Programming Languages Formal Methods Pure and Applied Logic Software Engineering Type Theory Networking Security and Privacy
Marijn Heule	Formal Methods Pure and Applied Logic
Marijn Heule	Formal Methods Pure and Applied Logic
Marijn Heule	Formal Methods Pure and Applied Logic
Marijn Heule	Formal Methods Pure and Applied Logic
Marijn Heule	Formal Methods Pure and Applied Logic
Marijn Heule	Formal Methods Pure and Applied Logic
Jan Hoffmann	Programming Languages Formal Methods Security and Privacy
Jan Hoffmann	Programming Languages Formal Methods Security and Privacy
Jan Hoffmann	Programming Languages Formal Methods Security and Privacy
Aayush Jain	Theory Cryptography
Aayush Jain	Theory Cryptography
Aayush Jain	Theory Cryptography
Aayush Jain	Theory Cryptography
Limin Jia	Systems
Limin Jia	Systems
Limin Jia	Systems
Zhihao Jia	Artificial Intelligence Systems
Zhihao Jia	Artificial Intelligence Systems
Zhihao Jia	Artificial Intelligence Systems
Zhihao Jia	Artificial Intelligence Systems
Zhihao Jia	Artificial Intelligence Systems
Zhihao Jia	Artificial Intelligence Systems
Zhihao Jia	Artificial Intelligence Systems
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Zico Kolter	Theory Artificial Intelligence
Aviral Kumar	Artificial Intelligence Machine Learning Robotics
Aviral Kumar	Artificial Intelligence Machine Learning Robotics
William Kuszmaul	Theory Algorithms and Complexity
William Kuszmaul	Theory Algorithms and Complexity
Tai-Sing Lee	Artificial Intelligence Computational Neuroscience
Jason Li	Theory Algorithms and Complexity
Jason Li	Theory Algorithms and Complexity
Minchen Li	Graphics Machine Learning Robotics Scientific Computing
Minchen Li	Graphics Machine Learning Robotics Scientific Computing
Brandon Lucia	Programming Languages Systems Computer Architecture
Brandon Lucia	Programming Languages Systems Computer Architecture
Ruben Martins	Systems
Heather Miller	Systems Security
Heather Miller	Systems Security
Heather Miller	Systems Security
Todd Mowry	Systems Computer Architecture Databases
Todd Mowry	Systems Computer Architecture Databases
Todd Mowry	Systems Computer Architecture Databases
Todd Mowry	Systems Computer Architecture Databases
Todd Mowry	Systems Computer Architecture Databases
Ryan O'Donnell	Algorithms and Complexity Security and Privacy Theory
Ryan O'Donnell	Algorithms and Complexity Security and Privacy Theory
Ryan O'Donnell	Algorithms and Complexity Security and Privacy Theory
Matthew O'Toole	Graphics Robotics
Matthew O'Toole	Graphics Robotics
Bryan Parno	Cryptography Distributed Systems Formal Methods Operating Systems Programming Languages Security Security and Privacy Software Verification Systems
Bryan Parno	Cryptography Distributed Systems Formal Methods Operating Systems Programming Languages Security Security and Privacy Software Verification Systems
Bryan Parno	Cryptography Distributed Systems Formal Methods Operating Systems Programming Languages Security Security and Privacy Software Verification Systems
Bryan Parno	Cryptography Distributed Systems Formal Methods Operating Systems Programming Languages Security Security and Privacy Software Verification Systems
Bryan Parno	Cryptography Distributed Systems Formal Methods Operating Systems Programming Languages Security Security and Privacy Software Verification Systems
Bryan Parno	Cryptography Distributed Systems Formal Methods Operating Systems Programming Languages Security Security and Privacy Software Verification Systems
Jignesh Patel	Systems Data-Intensive and Cloud Computing Databases
Andrew Pavlo	Systems Data-Intensive and Cloud Computing Databases Distributed Systems
Andrew Pavlo	Systems Data-Intensive and Cloud Computing Databases Distributed Systems
Andrew Pavlo	Systems Data-Intensive and Cloud Computing Databases Distributed Systems
Richard Peng	Algorithms and Complexity Theory
Richard Peng	Algorithms and Complexity Theory
Richard Peng	Algorithms and Complexity Theory
Frank Pfenning	Formal Methods Programming Languages Pure and Applied Logic Security and Privacy
Frank Pfenning	Formal Methods Programming Languages Pure and Applied Logic Security and Privacy
Frank Pfenning	Formal Methods Programming Languages Pure and Applied Logic Security and Privacy
Frank Pfenning	Formal Methods Programming Languages Pure and Applied Logic Security and Privacy
Nancy Pollard	Computational Neuroscience Graphics Robotics
Aditi Raghunathan	Artificial Intelligence Machine Learning
Roni Rosenfeld	Artificial Intelligence
Feras Saad	Artificial Intelligence Programming Languages Scientific Computing
Feras Saad	Artificial Intelligence Programming Languages Scientific Computing
Tuomas Sandholm	Algorithms and Complexity Artificial Intelligence Game Theory Machine Learning Theory
Tuomas Sandholm	Algorithms and Complexity Artificial Intelligence Game Theory Machine Learning Theory
Tuomas Sandholm	Algorithms and Complexity Artificial Intelligence Game Theory Machine Learning Theory
Mahadev Satyanarayanan	Mobile and Pervasive Computing Distributed Systems Security and Privacy
Mahadev Satyanarayanan	Mobile and Pervasive Computing Distributed Systems Security and Privacy
Mahadev Satyanarayanan	Mobile and Pervasive Computing Distributed Systems Security and Privacy
Srinivasan Seshan	Distributed Systems Mobile and Pervasive Computing Networking Systems
Srinivasan Seshan	Distributed Systems Mobile and Pervasive Computing Networking Systems
Srinivasan Seshan	Distributed Systems Mobile and Pervasive Computing Networking Systems
Srinivasan Seshan	Distributed Systems Mobile and Pervasive Computing Networking Systems
Nihar Shah	Artificial Intelligence Machine Learning Theory
Justine Sherry	Data-Intensive and Cloud Computing Networking Security and Privacy
Justine Sherry	Data-Intensive and Cloud Computing Networking Security and Privacy
Justine Sherry	Data-Intensive and Cloud Computing Networking Security and Privacy
Justine Sherry	Data-Intensive and Cloud Computing Networking Security and Privacy
Justine Sherry	Data-Intensive and Cloud Computing Networking Security and Privacy
Dimitrios Skarlatos	Computer Architecture Security and Privacy Systems
Dimitrios Skarlatos	Computer Architecture Security and Privacy Systems
Dimitrios Skarlatos	Computer Architecture Security and Privacy Systems
Dimitrios Skarlatos	Computer Architecture Security and Privacy Systems
Dimitrios Skarlatos	Computer Architecture Security and Privacy Systems
Peter Steenkiste	Distributed Systems Mobile and Pervasive Computing Networking Security and Privacy Systems
Katia Sycara
Rashmi Korlakai Vinayak	Data-Intensive and Cloud Computing Distributed Systems Networking Systems Theory
Rashmi Korlakai Vinayak	Data-Intensive and Cloud Computing Distributed Systems Networking Systems Theory
Rashmi Korlakai Vinayak	Data-Intensive and Cloud Computing Distributed Systems Networking Systems Theory
Rashmi Korlakai Vinayak	Data-Intensive and Cloud Computing Distributed Systems Networking Systems Theory
Rashmi Korlakai Vinayak	Data-Intensive and Cloud Computing Distributed Systems Networking Systems Theory
Weina Wang	Game Theory Security and Privacy
Bryan Wilder	Artificial Intelligence
David Woodruff	Algorithms and Complexity Machine Learning Theory
David Woodruff	Algorithms and Complexity Machine Learning Theory
David Woodruff	Algorithms and Complexity Machine Learning Theory
Eric Xing	Artificial Intelligence
Eric Xing	Artificial Intelligence
Eric Xing	Artificial Intelligence
Wenting Zheng	Security Systems Cryptography
Wenting Zheng	Security Systems Cryptography
Wenting Zheng	Security Systems Cryptography
Wenting Zheng	Security Systems Cryptography
Wenting Zheng	Security Systems Cryptography
Jun-Yan Zhu	Artificial Intelligence