Mauricio Varea

I was a Senior Software Engineer working in the System Design Division at ARM. My background for this position comes from working in both, the Electronics Design Automation (EDA) and the Multimedia industry. I first worked in TransEDA Ltd. leading the development of two well-established EDA tools, and later moved to SigmaTel Ltd. (Cambridge, UK), where I developed System-on-Chips (SoC) based multimedia players.

Prior to that, I was a Research Fellow at the School of Electronics and Computer Science, University of Southampton, investigating about techniques and developing tools for pervasive computing platforms, in order to allow sophisticated and reliable software run on the ever-decreasing hardware platforms. These activities were part of an EU-funded research project.

Previously, my research was geared towards the modelling and verification of Embedded Systems, where I was awarded a PhD from the University of Southampton, UK. The aim was to provide a new model for embedded systems design that would especifically target the increased complexity that results from high control/data-flow interactions.