Tassarotti and Tristan Receive Four-Year NSF Grant

Two Boston College Computer Science Department faculty members were recently awarded a grant totaling almost $1 million from the National Science Foundation.

Drs. Joseph Tassarotti and Jean-Baptiste Tristan received the award in support of their project, “SHF: Medium: Formally Verified Compilation of Probabilistic Programs.”

"We're honored to receive this grant. We believe that probabilistic programming is a promising technique for data science and machine learning, and this grant will enable us to explore the foundations of this area," writes Dr. Tassarotti.

The four-year award will cover supplies, travel expenses, and salary for the investigators, undergraduate students, and postdoctoral staff. It becomes effective on May 1, 2021.