PhD Defense of Martin Bodin

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…]

Comments are closed