Peter Van Roy: Significant Achievements (up to 2010)