5. September 2019
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.