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)
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)
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)
1/1/23 → 12/31/27
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)
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)
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