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
-
CC* Integration-Small: Unifying and Accelerating Campus Computational Science with Ray
Jamieson, K. A. (PI)
NSF - National Science Foundation
10/1/24 → 9/30/26
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
-
A benchmarked, high-efficiency prime editing platform for multiplexed dropout screening
Cirincione, A., Simpson, D., Yan, W., McNulty, R., Ravisankar, P., Solley, S. C., Yan, J., Lim, F., Farley, E. K., Singh, M. & Adamson, B., Jan 2025, In: Nature Methods. 22, 1, p. 92-101 10 p., 16001.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
Automating the practice of science: Opportunities, challenges, and implications
Musslick, S., Bartlett, L. K., Chandramouli, S. H., Dubova, M., Gobet, F., Griffiths, T. L., Hullman, J., King, R. D., Kutz, J. N., Lucas, C. G., Mahesh, S., Pestilli, F., Sloman, S. J. & Holmes, W. R., Feb 4 2025, In: Proceedings of the National Academy of Sciences of the United States of America. 122, 5, e2401238121.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
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 Access2 Scopus citations