Andrew Miner and Gianfranco Ciardo have received funding for an NSF project entitled “SHF: Medium: Improving the Efficiency and Applicability of Decision Diagrams”. The project duration is four years with the intended award amount $700,000 to ISU.
Since Randy Bryant’s 1986 seminal paper on Binary Decision Diagrams, a data structure that can compactly encode many boolean functions of interest, BDDs have had enormous success in practical applications, including hardware and software verification, model checking, and general exhaustive search problems in discrete domains. Indeed, in his Stanford Lecture Fun With Binary Decision Diagrams (BDDs), Donald Knuth stated that BDDs are "one of the only really fundamental data structures that came out in the last twenty-five years".
Gianfranco Ciardo, Yan-Bin Jia, Guang Song, and Jin Tian all faculty in the Department of Computer Science have been awarded a Faculty Professional Development Assignment (FPDA).
The eighth Midwest Verification Day workshop will be hosted at Iowa State University, Ames, Iowa on October 21-22, 2016.
The ISU Department of Computer Science wishes to congratulate Dr. Andrew Miner (PI) and Dr. Gianfranco Ciardo (Co-PI) on being selected to receive an NSF award of $498,672 for their proposal on Software Infrastructure for Sustained Innovation. The research project titled, "SI2-SSE: A Next-Generation Decision Diagram Library," is funded by NSF grant number, ACI-1642397, and will span three years, beginning January 1, 2017.
The project was selected from proposals submitted under the NSF solicitation
https://www.nsf.gov/pubs/2016/nsf16532/nsf16532.htm
For information about the Iowa State University Department of Computer Science, go to http://www.cs.iastate.edu/
