micro-ROS - bringing ROS 2 to microcontrollers

I authored the chapter on micro-ROS in "Robot Operating System (ROS): The Complete Reference" (Springer, 2023), with co-authors from the micro-ROS team. The chapter describes how the micro-ROS stack integrates microcontrollers with ROS 2, extending modern robotics software concepts down to deeply embedded systems.

Around the same period (2022), I co-authored a systematic literature review on counterexample explanation in Information and Software Technology - surveying 116 publications on the usability of formal methods.