Brian Demsky
@bdemsky.bsky.social
CS professor. PL/Model Checking/Concurrency.
My reading is this cancels essentially all non-AI, non-quantum CS research. nsf-gov-resources.nsf.gov/files/00-NSF...
nsf-gov-resources.nsf.gov
May 31, 2025 at 5:58 PM
My reading is this cancels essentially all non-AI, non-quantum CS research. nsf-gov-resources.nsf.gov/files/00-NSF...