Computer Science Professor Edmund M. Clarke is one of 18 eminent science and technology leaders sharing their ideas on hot science and technology topics this week as they mentor some of the world’s brightest young researchers at the Global Young Scientists Summit in Singapore.

Clarke, a Turing Award winner, and MIT’s Shafi Goldwasser, a CMU alumna and fellow Turing laureate, joined 350 young scientists at the National Technological University for the Jan. 18–23 event. In all, 12 Nobel Prize winners, two Fields Medalists and four Turing Award winners participated.

The GYSS is a multidisciplinary summit — covering topics ranging from chemistry, physics and medicine to mathematics, computer science and engineering — organized by the National Research Foundation of Singapore. Clarke presented a lecture on model checking and computer system verification, and led a small group discussion on whether program verification is possible or desirable.