Projects per year
Fingerprint
Dive into the research topics where Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
CAREER: Encapsulating Unsafe Code in Low-Level Systems
Levy, A. A. (PI)
NSF - National Science Foundation
2/1/25 → 1/31/30
Project: Research project
-
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
-
A Verified Foreign Function Interface between Coq and C
Korkut, J., Stark, K. & Appel, A. W., Jan 7 2025, In: Proceedings of the ACM on Programming Languages. 9, 24.Research output: Contribution to journal › Article › peer-review
Open Access -
Exploring the hierarchical structure of human plans via program generation
Correa, C. G., Sanborn, S., Ho, M. K., Callaway, F., Daw, N. D. & Griffiths, T. L., Feb 2025, In: Cognition. 255, 105990.Research output: Contribution to journal › Article › peer-review
Open Access -
Preface
Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G., 2025, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 15106 LNCS, p. vii-xResearch output: Contribution to journal › Editorial › peer-review