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.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
-
CAREER: Perceptual Cameras: Forming Images Through Scene Interpretation
NSF - National Science Foundation
2/1/21 → 1/31/26
Project: Research project
-
RI: Small: Accelerating Machine Learning via Randomized Automatic Differentiation
NSF - National Science Foundation
10/1/20 → 9/30/23
Project: Research project
-
Collaborative Research: PPoSS: Planning: Fixpoint: an operating system and architecture for data-centric computing
NSF - National Science Foundation
10/1/20 → 9/30/21
Project: Research project
Research output
-
Abstraction and subsumption in modular verification of C programs
Beringer, L. & Appel, A. W., 2021, (Accepted/In press) In: Formal Methods in System Design.Research output: Contribution to journal › Article › peer-review
-
A multimodal and integrated approach to interrogate human kidney biopsies with rigor and reproducibility: Guidelines from the kidney precision medicine project
Kidney Precision Medicine Project, 2021, In: Physiological Genomics. 53, 1, p. 1-11 11 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
A rational model of the Dunning–Kruger effect supports insensitivity to evidence in low performers
Jansen, R. A., Rafferty, A. N. & Griffiths, T. L., 2021, (Accepted/In press) In: Nature Human Behaviour.Research output: Contribution to journal › Article › peer-review
1 Scopus citations