Dr Robbert Krebbers has been awarded Veni grant for Verified programming language interaction
News
-
18 July 2018
-
Communication
Verified programming language interaction
Dr R.J. (Robbert) Krebbers, TUD - Department of Software Technology
Software systems consist of many components written in different programming languages. The correctness of a software system relies on correct interaction between its components. This project will develop mathematical methods for verifying the correctness of interaction between software components.
www.nwo.nl/en/research-and-results/programmes/Talent+Scheme/awards/veni+awards/veni+awards+2018