Skip to main content

New EPSRC grant awarded


Joel Quaknine, along with co-investigators James Worrell and Andrzej Murawski, has been awarded an EPSRC grant titled "Automated Verification of Probabilistic Programs" with an awarded value of £292,618 (FEC cost equivalent of £358,730) (EP/G069158/1). The grant was ranked first (out of the 56 considered) of what was felt to be a very high quality panel. The grant will mainly support two postdocs for a period of 1.5 years.