Yes, and doing the diploma thesis (or the undergraduate thesis) in his group was one of the rare opportunities to get your hands on AdaCore's compiler, not the neglected free gcc version.