Computer Science

Projects

Projects per year 2006 2010 2011 2014 2015 2016 2017 2018 2020 2021 2022 2023 2029

• 44 Active
• 124 Finished

Projects per year

Search results

• Active

  Collaborative Research: Enhancing Managed Spectrum Sharing with FR3-Cognizant Digital Twins

  Jamieson, K. A. (PI)

  NSF - National Science Foundation

  10/1/24 → 9/30/27

  Project: Research project

• Mathematical Understanding of Large Language Models

  Arora, S. (PI)

  Office of Naval Research - MA

  9/1/24 → 8/31/27

  Project: Research project

• FMitF: Track 1: Pay-as-you-go Consistency Verification for Distributed System Designs

  Lloyd, W. A. (PI)

  NSF - National Science Foundation

  8/1/24 → 7/31/28

  Project: Research project

• CAREER: The Nature of Average-Case Computation

  Kothari, P. K. (PI)

  NSF - National Science Foundation

  4/1/24 → 1/31/26

  Project: Research project

• CAREER: Data Structures and Streaming Algorithms

  Yu, H. (PI)

  NSF - National Science Foundation

  3/1/24 → 2/28/29

  Project: Research project

• Computational methods to decipher somatic alterations in cancer genomes

  Singh, M. (PI)

  NIH NCI

  12/12/23 → 11/30/28

  Project: Research project

• SLES: Vision-Based Maximally-Symbolic Safety Supervisor with Graceful Degradation and Procedural Validation

  Deng, J. (PI)

  NSF - National Science Foundation

  10/1/23 → 9/30/26

  Project: Research project

• Collaborative Research: CISE: Large: Systems Support for Run-Anywhere Serverless

  Lloyd, W. A. (PI)

  NSF - National Science Foundation

  10/1/23 → 9/30/28

  Project: Research project

• NeTS: Medium: Foundations and Applications of Modular Verification of Networks

  Walker, D. P. (PI)

  NSF - National Science Foundation

  10/1/23 → 9/30/27

  Project: Research project

• POSE: Phase II: A Sustainable Open Source Consortium for the Tock Secure Embedded Operating System

  Levy, A. A. (PI)

  NSF - National Science Foundation

  9/15/23 → 8/31/25

  Project: Research project

• CAREER: Molecular mechanisms, algorithms and software for design and analysis of genome perturbation experiments

  Pritykin, Y. (PI)

  NSF - National Science Foundation

  6/1/23 → 5/31/28

  Project: Research project

• Finite models for the Kakeya problems

  Dvir, Z. (PI)

  NSF - National Science Foundation

  6/1/23 → 5/31/26

  Project: Research project

• Building Next-Generation Language Models based on Retrieval

  Chen, D. (PI)

  NSF - National Science Foundation

  2/15/23 → 1/31/28

  Project: Research project

• CAREER: Reading To Learn: Language-Guided Machine Learning

  Narasimhan, K. (PI)

  NSF - National Science Foundation

  1/15/23 → 12/31/27

  Project: Research project

• CNS Core: Small: Modernizing Consistency Models

  Lloyd, W. A. (PI)

  NSF - National Science Foundation

  1/1/23 → 12/31/25

  Project: Research project

• Online Learning for Provable Adaptive Nonlinear Control

  Hazan, E. (PI)

  Office of Naval Research - MA

  1/1/23 → 12/31/27

  Project: Research project

• Collaborative Research: SII-NRDZ: Spectrum Sharing via Consumption Models and Telemetry - Prototyping and Field Testing in an Urban FCC Innovation Zone

  Jamieson, K. A. (PI)

  NSF - National Science Foundation

  1/1/23 → 12/31/25

  Project: Research project

• Collaborative Research: HCC: Medium: Designing Trans Technologies

  Monroy-Hernandez, A. (PI)

  NSF - National Science Foundation

  10/1/22 → 9/30/26

  Project: Research project

• Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes

  Walker, D. P. (PI)

  NSF - National Science Foundation

  10/1/22 → 9/30/25

  Project: Research project

• Collaborative Research:RI:Medium:MoDL:Mathematical and Conceptual Understanding of Large Language Models

  Arora, S. (PI)

  NSF - National Science Foundation

  10/1/22 → 9/30/25

  Project: Research project

• Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods

  Appel, A. W. (PI)

  NSF - National Science Foundation

  10/1/22 → 9/30/25

  Project: Research project

• IMR: MT: Fine-Grained Telemetry for Next-Generation Cellular Access Networks (NG-Scope)

  Jamieson, K. A. (PI)

  NSF - National Science Foundation

  10/1/22 → 9/30/25

  Project: Research project

• IMR: MT: Tools for Programming Distributed Data-plane Measurements

  Walker, D. P. (PI)

  NSF - National Science Foundation

  9/1/22 → 8/31/25

  Project: Research project

• Regulatory genomics of T cells in mouse and human

  Pritykin, Y. (PI)

  NIH NIAID

  7/19/22 → 6/30/27

  Project: Research project

• CAREER: Overcoming bias in computer vision: Building fairer systems and training diverse leaders

  Russakovsky, O. (PI)

  NSF - National Science Foundation

  6/15/22 → 5/31/27

  Project: Research project

• RINGS: Object-Oriented Video Analytics for Next-Generation Mobile Environments

  Netravali, R. A. (PI)

  NSF - National Science Foundation

  5/1/22 → 4/30/25

  Project: Research project

• Collaborative Research: SHF: Medium: Collaborative Automatic Parallelization

  August, D. I. (PI)

  NSF - National Science Foundation

  10/1/21 → 9/30/25

  Project: Research project

• CNS Core: Small: Not All Cameras are Created Equal: Systems Support for Highly Adaptive Video Analytics Pipelines

  Netravali, R. A. (PI)

  NSF - National Science Foundation

  10/1/21 → 9/30/25

  Project: Research project

• CNS Core: Small: Fast or Dynamic Websites? Eliminating the Need to Choose

  Netravali, R. A. (PI)

  NSF - National Science Foundation

  10/1/21 → 9/30/25

  Project: Research project

• RI: Medium: Improving grounding, generalization and contextual reasoning in vision and language models

  Russakovsky, O. (PI)

  NSF - National Science Foundation

  9/1/21 → 8/31/25

  Project: Research project

• Collaborative Research: OP: Meta-optical Computational Image Sensors

  Heide, F. (PI)

  NSF - National Science Foundation

  8/1/21 → 7/31/25

  Project: Research project

• Collaborative Research: SHF: Medium: Automated Word Level Synthesis for Hardware Code Generation and Verified Abstraction

  Gupta, A. (PI)

  NSF - National Science Foundation

  7/15/21 → 6/30/25

  Project: Research project

• Collaborative Research: CNS CORE: Medium: The Case for Blended Storage

  Freedman, M. J. (PI)

  NSF - National Science Foundation

  7/1/21 → 6/30/25

  Project: Research project

• Collaborative Research: CNS Core: Medium: A Unified Prefetch Framework for Approximation-Tolerant Interactive Applications

  Netravali, R. A. (PI)

  NSF - National Science Foundation

  7/1/21 → 5/31/25

  Project: Research project

• CAREER: Adaptive Web Execution: Supporting Billions of Diverse Users by Adapting Execution to Available Resources

  Netravali, R. A. (PI)

  NSF - National Science Foundation

  5/1/21 → 4/30/25

  Project: Research project

• CAREER: Perceptual Cameras: Forming Images Through Scene Interpretation

  Heide, F. (PI)

  NSF - National Science Foundation

  2/1/21 → 1/31/26

  Project: Research project

• Comprehensive and Robust Tools for Analysis of Tumor Heterogeneity and Evolution

  Raphael, B. (PI)

  NIH NCI

  9/24/20 → 8/31/25

  Project: Research project

• Collaborative Research: AF: Medium: Modern Combinatorial Optimization: Incentives, Uncertainty, and Smoothed Analysis

  Weinberg, M. (PI)

  NSF - National Science Foundation

  7/1/20 → 6/30/25

  Project: Research project

• SHF: Small: VeriFFI -- Formally Verified Functional+C programs

  Appel, A. W. (PI)

  NSF - National Science Foundation

  6/15/20 → 5/31/25

  Project: Research project

• CAREER: Foundations for Usable Program Analysis

  Kincaid, Z. (PI)

  NSF - National Science Foundation

  6/1/20 → 5/31/25

  Project: Research project

• CAREER: Toward Video2Sim: Turning Real World Videos into Simulations

  Deng, J. (PI)

  NSF - National Science Foundation

  4/1/20 → 3/31/25

  Project: Research project

• CAREER: Towards a Predictive Theory of Algorithmic Mechanism Design

  Weinberg, M. (PI)

  NSF - National Science Foundation

  1/1/20 → 12/31/25

  Project: Research project

• Braverman Waterman Award

  Braverman, M. (PI)

  NSF - National Science Foundation

  5/22/19 → 4/30/25

  Project: Research project

• CAREER: Communication, Information, and Interactive Compression

  Kol, G. (PI)

  NSF - National Science Foundation

  2/1/18 → 1/31/25

  Project: Research project

• Finished

  WORKSHOP: Doctoral consortium at Student Research Workshop at the North American Chapter of the Association for Computational Linguistics

  Chen, D. (PI)

  NSF - National Science Foundation

  7/1/22 → 6/30/23

  Project: Research project

• Collaborative Research: Foundations of Deep Learning: Theory, Robustness, and the Brain

  Hazan, E. (PI)

  NSF - National Science Foundation

  12/1/21 → 11/30/24

  Project: Research project

• X-CELLENT: X-Compiler Extending LLVM for Enhanced Natural Translation

  August, D. I. (PI)

  DOE - Chicago

  9/1/21 → 8/31/24

  Project: Research project

• Collaborative Research: PPoSS: Planning: A Disciplined Approach to Scaling in the Post-Moore?s Law Era

  August, D. I. (PI)

  NSF - National Science Foundation

  7/15/21 → 6/30/22

  Project: Research project

• RI: Small: Accelerating Machine Learning via Randomized Automatic Differentiation

  Adams, R. P. (PI)

  NSF - National Science Foundation

  10/1/20 → 9/30/24

  Project: Research project

• Collaborative Research: PPoSS: Planning: Fixpoint: an operating system and architecture for data-centric computing

  Levy, A. A. (PI)

  NSF - National Science Foundation

  10/1/20 → 9/30/21

  Project: Research project