<p>Columbia says:</p>
<p>“The Department has well-equipped lab areas for research in computer graphics, computer-aided digital design, computer vision, databases and digital libraries, data mining and knowledge discovery, distributed systems, mobile and wearable computing, natural-language processing, networking, operating systems, programming systems, robotics, user interfaces, and real-time multimedia.”</p>
<p>We have far more labs in our CSE building, where active research is going on.</p>
<p>Here is a partial list:</p>
<p>Labs
Applied logic lab (ALL)
Faculty
Yejin Choi, Michael Kifer, Luis Ortiz, C.R. Ramakrishnan, I.V. Ramakrishnan, David S. Warren, Anita Wasilewska</p>
<p>Graphics and Visualization
Labs
Center for Visual Computing (CVC)
Graphics Hardware Lab
Virtual Reality Lab
Visual Analytics and Imaging Lab (VAILAB)
Visualization Lab (VISLAB)
Faculty
Tamara Berg, Xianfeng Gu, Arie Kaufman, Klaus Mueller, Hong Qin, Dimitris Samaras, Tony Scarlatos</p>
<p>Networks
Labs
Embedded Optimization Lab
Experimental Computer Systems Lab (ECSL)
Mobile and Sensor Networks Lab
Network Security and Applied Cryptography (NSAC)
Net Lab
Wireless Networking and Simulation Lab (WINGS)
Faculty
Tzi-cker Chiueh, Hussein Badr, Samir R. Das, Jie Gao, Himanshu Gupta, Rob Johnson, Yanni Liu, R. Sekar, Radu Sion, Larry Wittie, Jennifer Wong</p>
<p>Programming Languages and Verification
Labs
Applied Logic Lab (ALL)
Concurrency and Verification Lab
Design and Analysis Research Lab (DAR)
Faculty
Michael Kifer, Radu Grosu, Annie Liu, Donald Porter, C.R. Ramakrishnan, I.V. Ramakrishnan, Scott A. Smolka, Scott Stoller, David S. Warren</p>
<p>Security </p>
<p>Labs
Center for Cyber Security
Experimental Computer Systems Lab (ECSL)
File-systems and Storage Lab (FSL)
Network Security and Applied Cryptography (NSAC)
Operating Systems, Concurrency, and Architecture Research (OSCAR)
Secure Systems Lab (SEC)
SPLAT Lab
Faculty
Tzi-cker Chiueh, Jie Gao, Rob Johnson, Donald Porter, R. Sekar, Radu Sion, Scott Stoller, Erez Zadok</p>
<p>Systems (including compilers and databases)</p>
<p>Labs
Embedded Optimization Lab
Experimental Computer Systems Lab (ECSL)
File-systems and Storage Lab (FSL)
Graphics Hardware Lab
Operating Systems, Concurrency, and Architecture Research (OSCAR)
SAMSON Lab
Secure Systems Lab (SEC)
SPLAT Lab
Faculty
Tzi-cker Chiueh, Jie Gao, Rob Johnson, Donald Porter, R. Sekar, Radu Sion, Eugene Stark, Jennifer Wong, Erez Zadok, Rong Zhao</p>
<p>Theory </p>
<p>Labs
Applied Algorithms Lab
Mobile and Sensor Networks Lab
Faculty
Leo Bachmair, Michael Bender, Ahmad Esmaili, Jie Gao , Rob Kelly, Michael Kifer, Ker-I Ko, C.R. Ramakrishnan, I.V. Ramakrishnan, Steve Skiena, David S. Warren, Anita Wasilewska</p>
<p>Vision and Natural Language Processing
Labs
Center for Visual Computing (CVC)
Image Analysis Lab
Natural Language Processessing Lab (NLP)
Faculty
Tamara Berg, Xianfeng Gu, Arie Kaufman, Klaus Mueller, Hong Qin, Dimitris Samaras, Tony Scarlatos</p>