Martin Bodin has successfully defended his PhD on “Certified Semantics and Analysis of JavaScript”, covering his work on the formalization of JavaScript in Coq and the development of a framework to systematically derive certified abstract semantics from concrete semantics. [More…]