Abstract


Mathematical rigor and creativity in software engineering
Peter Braam (Cambridge University) /
Step into a career drifting from pure mathematics to hard core systems engineering, surrounding the largest big data projects in the world such as the SKA telescope. We will visit a few varied intellectual challenges facing software construction, moving between efficiency, rigorous software construction and algorithms. Can mathematics possibly benefit from such challenges, as well as provide a broader foundation for rigorous software engineering?