Former MPI-SWS postdoc receives ERC starting grant

Ori Lahav was awarded an ERC starting grant on „Verification-Aware Programming Language Concurrency Semantics“.  Ori was formerly a postdoctoral fellow in the Software Analysis and Verification group, and is now a tenure-track faculty member at Tel Aviv University. Read more about this year’s ERC Starting Grants here.