Javier Coronel Email & Phone Number

I am a Telecommunication Engineer with a PhD in Automation and Industrial Computer Science, specialising in embedded real-time software development, safety-critical systems, and virtualisation technologies for embedded environments. As a seasoned Senior Embedded Software Engineer, I bring extensive experience in the computer software industry, particularly in guiding products through certification processes.Throughout my career, I have led teams in both industrial and R&D settings, driving projects forward with a focus on innovation. My expertise lies in programming languages and assembly, with a strongly emphasising on developing software for embedded systems operating under critical real-time constraints. I possess comprehensive knowledge of Real-Time Operating Systems (RTOS), General-Purpose Operating Systems (GPOS), and bare-metal environments. I also have hands-on experience in developing hypervisors tailored for mixed-criticality applications.My proficiency extends to both hardware and software aspects of embedded systems, encompassing architectures such as ARM, PowerPC, SPARC, and RISC-V. I have contributed to various projects and initiatives, leveraging my technical acumen to deliver solutions that meet the highest standards of quality while adhering to timelines and budgets.In summary, I offer a unique blend of academic rigor, industry experience, and technical prowess, making me well-equipped to tackle complex challenges in the realm of embedded systems and critical real-time software development.The breadth of expertise:- Embedded real-time software development: specification, design, implementation, testing, verification & validation.- Expertise in the development of hypervisors and virtualisation systems in embedded environments.- One of the major developers of the bare-metal XtratuM hypervisor for mono and multicore processors. - Experience in the development of device drivers for RTOS and GPOS.- Programming language: C/C++/Java/Python- Knowledge of embedded architectures such as ARM, SPARC, PowerPC and RISC-V.- Authored several papers (including books and journals) on hypervisors, FPGA design and scheduling for real-time systems.

Listed skills include Project Management, Team Leadership, Embedded Systems, Software Certification, and 18 others.