Thanhvu Nguyen, Associate Professor, Computer Science, College of Engineering and Computing (CEC), received funding from the National Science Foundation for the project: “Collaborative Research: FMitF: Track II: From Theory to Practice: Making Complex Invariants Accessible with DIG.”
Nguyen and his collaborators are developing the invariant generator DIG-I, which is more efficient and scalable than other invariant generators. It also has applications beyond just invariant discovery. The researchers hold that DIG-I will be modern and leverage recent AI to efficiently learn and reason about invariants. Finally, it will be added to popular integrated development environments (IDEs) to improve usability.
The project's impacts are that the open-source DIG-I tool will enhance the efficiency and usability of invariant learning, benefiting developers in industry and research labs, and will be used to introduce formal methods and invariant generation to students and professionals through courses at George Mason.
Nguyen received $99,246 from NSF for this research. Funding began in Sept. 2024 and will end in late Aug. 2026.
###
ABOUT GEORGE MASON UNIVERSITY
George Mason University is Virginia’s largest public research university. Located near Washington, D.C., Mason enrolls more than 40,000 students from 130 countries and all 50 states. Mason has grown rapidly over the past half-century and is recognized for its innovation and entrepreneurship, remarkable diversity, and commitment to accessibility. In 2023, the university launched Mason Now: Power the Possible, a one-billion-dollar comprehensive campaign to support student success, research, innovation, community, and stewardship.Learn more at gmu.edu.