This Project Grant from the National Science Foundation's Computer and Information Science and Engineering program under the CFDA number 47.070 provided $599,566 to Brown University from January 1, 2023 through December 31, 2025.
The grant funds research to investigate and address common misconceptions about formal logics, which are widely used in computer science to precisely define system requirements and user intent. Specifically, the project aims to study misconceptions in linear temporal logic, the Alloy language, and basic structural properties. The researchers will employ techniques from existing literature to identify and correct the logical misconceptions they find through elicitation methods accounting for expert blind spots. The resulting study instruments and techniques developed to address the misconceptions identified would be immediately useful in education and tool development settings to improve logical specification accuracy.
Generated 1/7/24, 6:46 AM