Academic Supervisors

Academic Supervisors of the ARM-ECS Research Center

Prof. Michael Butler  leads the Electronics and Software Systems Group. He is internationally recognised for research on formal software engineering methods for complex systems. He leads the development of the Rodin toolset; a formal method framework for system-level modelling and analysis ( His research work encompasses applications, tools and methodology for formal methods. He plays a leading role in the development of several tools for B and Event-B especially the Rodin toolset and the ProB model checker.  In the ADVANCE FP7 project (, Butler plays the role of scientific coordinator ensuring the Rodin tool development is coordinated across multiple sites and is properly aligned with the needs of the ADVANCE industrial partners. His work on model decomposition for Event-B is now being implemented and used in Rodin. He was worked on a number of significant formal developments in Event-B including an electronic funds system and a flash-based file system. Butler collaborates with engineers in AWE (safety critical embedded systems), Alstom (rail systems), Critical Software (smart grids) and Systerel (embedded systems). In the PRiME Project, Butler leads the development of run-time energy and reliability management methods, verification and software engineering.    Butler serves on the PCs of many international conferences.  He is Co-Chair of ICFEM 2014, a leading international conference on formal methods.  He is a Fellow of the British Computer Society, is Chair of IFIP WG 2.3 Programming Methodology and is on the Editorial Board of the Formal Aspects of Computing journal. 



Alex Weddell was awarded a first-class MEng Electronic Engineering degree from the University of Southampton in 2005, then studied for his PhD on energy-aware wireless sensor nodes (awarded in 2010). He has contributed to the Defence Technology Centre "Adaptive energy aware sensor networks" project, and EPSRC projects "New directions for intelligent sensors" and "Next Generation Energy-Harvesting Electronics: Holistic Approach". He has experience with a range of energy harvesting devices and developed a platform which supports a mix of energy sources to power an energy-aware wireless sensor node. He is now a Lecturer, with research interests in energy harvesting, wireless sensor networks, and application-driven system design.

Rob Maunder has studied with Electronics and Computer Science, University of Southampton, UK, since October 2000. He was awarded a first class honors BEng in Electronic Engineering in July 2003, as well as a PhD in Wireless Communications and a lectureship in December 2007. Rob's research interests include high-throughput and energy-efficient algorithms and architectures for iterative wireless receivers. He has published a number of IEEE papers in these areas, which can be seen at

Received a BSc in Physics and a PhD in Electronics Systems Engineering. He is currently a Reader in Electronics and Computer Science. His research in wireless sensor network systems for earth science applications spans seven projects including deployments in Norway, Iceland and Tijuana. This includes research into low power wireless sensor communications, autonomous node behaviour and ARM-based sensor nodes. He has published over 130 papers, been involved in eleven European projects and is a member of the Earth and Space Science Informatics executive group of the American Geophysical Union. For more information see his home page.

Received the BEng Electronic Engineering (1st class hons) degree from the University of Southampton in 2004, and was awarded a PhD in energy-aware sensor networks in 2009. He is currently a lecturer in the Electronic and Software Systems Group, and chairs an interest group on wireless sensing and sensor networks in the University's Pervasive Systems Centre. His research expertise is low-power electronics, energy-aware pervaisve sensing, energy harvesting and wearable devices, and he has published over 40 journal and conference publications in these areas.  Further information can be found at

Professor of Electronics & Computer Science. He has published over 100 papers in the areas of image processing, pattern recognition and machine learning. Currently he co-ordinates the EU Network of Excellence on Pattern Analysis, Statistical Modelling and Computational Learning (PASCAL2) which brings together the leading researchers across Europe in the areas of machine learning, statistics and optimisation. He also has interests in electronic design and embedded systems.

Subscribe to Academic Supervisors