The people who make this possible

Luis is a PhD research student from Mexico. He studied his Bachelor of Science in Electronics Engineering back in his home country, in Guadalajara, Jalisco, at the Instituto Tecnológico de Estudios Superiores de Monterrey (ITESM), from 2005-2010. During this time did a year abroad at the University of Essex, UK. He did internships at HP and Freescale (based in Guadalajara) during his undergraduate.

After graduating he started his MSc in Microelectronics Systems Design at the University of Southampton, doing his MSc Project with Dr. Geoff Merrett, where graduated with Distinction in 2011. Soon after finishing, he started and is currently studying his PhD under supervision of Dr. Merrett and Prof. Bashir Al-Hashimi, on the field of Power Management for Multi-core Processors. Further information can be found at

Matt studied Electronic Engineering at the University of Southampton and graduated with a first class MEng degree in 2013. He has also completed three summer work placements at BAE Systems.
He is currently pursuing his PhD at Southampton, focussing on run-time power, temperature and reliability estimation. He also has technical interests in computer vision, 3D modelling and mobile game development.  

Matthias is currently based at ARM, in Cambridge, whilst studying for a PhD with the University of Southampton. He received his first degree in Information and Communication Technologies from the University of Applied Sciences Zittau/Görlitz (FH) in 2009. During this time he underwent a vocational training as electrician for industrial engineering, did an internship at the EADS Astrium GmbH and wrote his dissertation at the Fraunhofer Institute for Microelectronic Circuits.

In 2010 he obtained his masters degree from the University of Southampton in Microelectronic Systems Design. He is currently studding for his PhD "Low-Power, High Performance Memory Architectures for Vector Processing" at the University of Southampton but is based at ARM Ltd. Cambridge, UK.

Professor of Computer Engineering and his research expertise is energy-efficient, reliable and testable digital hardware. He has received a number of international awards for his research including 3 best paper awards. He was elected Fellow of the IEEE (2009) for contributions to design and test of low power integrated circuits and systems. He was elected Fellow of the UK Royal Academy of Engineering (2013). He directs the Pervasive Systems Centre

He is ARM Professor of Computer Engineering, and Co-Director of the ARM-ECS research centre He is Associate Dean (Research) of the Faculty of Physical and Applied Sciences.

Visiting Professor at University of Southampton since 2008 providing industrial oversight for post-graduate research, attached to the Pervasive Systems Centre. Main day-job is to lead a low-power research and development program at ARM Ltd.

David Flynn, a Fellow in R&D at ARM Ltd, Cambridge UK,, has been with the company since 1991, specializing in System-on-Chip IP deployment and methodology. He is the original architect behind ARM’s synthesizable CPU family and the AMBA on-chip interconnect standard. His current research focus is low-power system-level design. He holds a number of patents in on-chip bus, low power and embedded processing sub-system design and holds a BSc in Computer Science from Hatfield Polytechnic, UK and a Doctorate in Electronic Engineering from Loughborough University, UK. He also serves as a part-time Visiting Professor with the Electronics and Computer Science Department at Southampton University, UK. David is a primary author of the "Low Power Methodology Manual" co-developed with Synopsys and (Springer 2007) and a contributing author to the VMM-LP launched 2009. 

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. 



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.

Sascha Bischoff is currently based at ARM, in Cambridge, whilst studying for a PhD with the University of Southampton. He studied Electronic Engineering with Computer Systems in the ECS department of the University from 2007 to 2011, and graduated with a 1st class MEng degree. Alexander is interested in many aspects of computer systems, but current research is focused on improving System-on-Chip performance and power consumption.

Sheng Yang studied Electronics Engineering at the University of Southampton from 2005 to 2008 and graduated with first class honor degree. During his undergraduate degree he completed a summer internship with NXP Semiconductor in 2007.

In 2008 Sheng started a PhD at the University of Southampton under the supervision of Prof. Bashir M. Al-Hashimi, Prof. Mark French and advice of Prof. David Flynn in the area of improving reliability of low power embedded processor. As part of PhD he complete a three months internship with ARM Ltd in 2011.


Stephen joined ARM after graduated from Southampton in 1994 with an MSc in Microelectronic System Design. He worked on many generations of ARM processor before going on to run ARM's processor cores research group for 5 years and then becoming Engineering Director of ARM's Processor Division in Austin, Texas.


Subscribe to People