EPSRC Funding for New Project
Posted: 5th October 2009
Daniel Kroening as PI and Joel Ouaknine as Co-I have successfully obtained funding from the EPSRC for the project "Verification of Shared-Memory Concurrent Software".This project funds one RA and two DPhil students for 3.5 years, in addition to salary costs, travel, equipment, etc.