AdaCore President Robert B. K. Dewar (1945-2015) #1 Post by u14408885 » Sat, Jul 04, 2015, 1:07 AM UTC AdaCore President Robert B. K. Dewar (1945-2015)adacore.com