Nguyen working to make complex invariants accessible
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 ...
Read the release








