Skip to main content

EPSRC Funding for New Project


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.