Dejanira Araiza Illan, PhD

Associate Director, Business Transformation & Innovation | IEEE RAS TC in Verification of Autonomous Systems Co-chair

Belgium

About

A hands-on engineer with plenty of industry and R&D experience, who likes to experiment with new technologies, design and deploy novel solutions, and inspire the new generations of engineers and digital innovators. A firm believer in the use of advanced technology and artificial intelligence to increase our quality of life, and to build a better society. A promoter of best practices to ensure technologies are useful, safe and trustworthy. You will find me leading teams of engineers and supply chain experts, sharing a vision of future technologies and digital capabilities with global leaders and future engineers, or bouncing ideas off other experts. I am also a foodie who loves travelling, museums, crafts and dancing.

Experience

  • Johnson & Johnson (Full-time · 6 yrs 3 mos)
    • Associate Director, Business Transformation & Innovation
      Jan 2025 - Present · 1 yr 6 mos

    • A. Principal Engineer (Robotic Applications)
      Apr 2020 - Dec 2024 · 4 yrs 9 mos

  • ROS-Industrial Consortium Asia Pacific (Singapore)
    • Technical Lead
      Sep 2019 - Apr 2020 · 8 mos

    • Advanced Development Scientist
      Apr 2019 - Sep 2019 · 6 mos

  • Development Scientist at Advanced Remanufacturing and Technology Centre (ARTC)
    May 2017 - Mar 2019 · 1 yr 11 mos

    - Development and prototype implementation of automated robotic systems for aerospace and consumer goods industries - Development of core technologies in safety of industrial robots, human-robot intuitive programming interactions, and equipment and robot interoperability middlewares

  • University of Bristol (4 yrs 2 mos)
    • Senior Research Associate
      Jan 2016 - Apr 2017 · 1 yr 4 mos

      Working for the EPSRC funded project RIVERAS: Robust Integrated Verification of Autonomous Systems PI: Prof. Kerstin Eder - Development of theories for automatic proof of control systems requirements - Development of Simulink blocks for assertion-based verification - Development of models for "flexible" system specifications, for the analysis of self-adaptive systems

    • Research Associate
      Nov 2014 - Dec 2015 · 1 yr 2 mos

      Working for the EPSRC funded project ROBOSAFE: Trustworthy Robotic Assistants PI: Prof. Kerstin Eder - Development of intelligent test generation techniques to effectively stimulate robotic software - Development of automated testbench components for robotic code tested in simulation, implemented in ROS- Gazebo

    • Research Associate
      Mar 2013 - Dec 2015 · 2 yrs 10 mos

      Working for the EPSRC funded project RIVERAS: Robust Integrated Verification of Autonomous Systems PI: Prof. Kerstin Eder - Development of theories for automatic proof of control systems requirements - Development of Simulink blocks for assertion-based verification - Development of models for "flexible" system specifications, for the analysis of self-adaptive systems

  • Laboratory demonstrations at University of Sheffield
    Oct 2009 - May 2012 · 2 yrs 8 mos

    Microcontrollers, electronic circuit design and assembling, assembly language programming, C programming, design of projects.