Posted: 26th July 2016

Professor of Computer Science Hongseok Yang is part of a team that won the highly regarded CAV (Computer-Aided Verification conference) 2016 Award.

The 2016 award recipients have been honoured for the development of the theory of Separation Logic, which includes the key notion of separating conjunction, the work showing its applicability in the analysis of non-trivial programs, and the tool development that culminated in Facebook Infer.

The CAV award has been given annually since 2008 at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. The award comes with a cash prize, and previous recipients have included the developers of major verification systems showing major theoretical advances and widely deployed in industry.