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