Profs. Aaron Stump and Cesare Tinelli received a supplement of $58,446 from the NSF for the StarExec computing research infrastructure. StarExec is a web service backed by a compute cluster of around 250 nodes. It is used by a dozen or so subcommunities of verification and automated reasoning, for evaluating logic solvers, including through annual evaluations and competitions.
This supplement has enabled hiring two undergraduates -- Preston Dodd (Computer Science) and Archie Kipp (Data Science|Mathematics) -- to implement improvements to the system, in response to user requests.