Pablo González de Aledo Marugán

Pablo González de Aledo Marugán has a diverse work experience in various roles and companies. Pablo started their most recent role as a Linux Developer at Seqera Labs in 2022. Previously, they worked as a Quantitative Developer at BBVA from 2021 to 2022, where they adapted financial models and provided support for various desks. From 2019 to 2021, they worked as a Quant Developer/Cloud Architect at Banco Santander, focusing on the migration of an XVA engine to Azure and modifying codebases. Before that, they were a Senior Software Architect at Experis IT in 2018, where they made design decisions and integrated models for managing the power grid. In the same year, they also worked as a Software Developer at QUALITY OBJECTS, contributing to the development of the new generation communication network 5G. In 2017, they were a Postdoctoral Research Assistant at Imperial College London, optimizing computer vision tasks for embedded platforms, while in 2016, they were a Ph.D. Student at MacQuarie University, focusing on analyzing and certifying timing properties in binary programs. Pablo also worked as a Ph.D. Student and Research Assistant at the University of Cantabria from 2009 to 2016, where they developed symbolic execution frameworks and simulation techniques for many-core platforms. Furthermore, they have experience as an Endeavor Fellow at RedLizard, NICTA UNSW in 2015, integrating static analyzers with dynamic symbolic execution frameworks, and as a recipient of the Leonardo Torres Quevedo Grant at Sistemas Neuronales de Percepcion from 2010 to 2012, where they designed and implemented various recognition systems.

Pablo González de Aledo Marugán's education history is as follows:

From 2003 to 2008, they attended Universidad de Cantabria, where they obtained a degree in Ingeniería de Telecomunicaciones with a specialization in Microelectrónica.

In 2010 and 2011, they pursued a Master's degree in Computación at the same institution, Universidad de Cantabria.

Starting from 2012 and ending in 2017, they simultaneously pursued two Ph.D. programs. One was in Computer Science at Macquarie University, from 2016 to 2017, and the other was in Electrical Engineering with a specialization in Microelectronica at Universidad de Cantabria, from 2012 to 2017.

From 2012 to 2020, they studied at Universidad Nacional de Educación a Distancia (U.N.E.D.), earning a Bachelor's degree in Mathematics.

In terms of additional certifications, they obtained a certification in Hardware Security from Coursera in March 2015. Additionally, they obtained a certification in Software Security from Coursera in November 2014. Furthermore, they hold the Certificación CERTYRED Seguridad Informática, although the month and year of obtaining this certification are not specified. The institution responsible for this certification is Universidad de Salamanca.