If I remember correctly, Gianluca Martino's trademark registration actually predated the existence of Arduino LLC, because originally there was no company found

If I remember correctly, Gianluca Martino's trademark registration actually predated the existence of Arduino LLC, because originally there was no company founded for the Arduino project - it was some kind of joint venture between Gianluca Martino (manufacturing, capital) and Massimo Banzi (board design).