Edmund M., Jr. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (1) Nisbet, Robert (researcher-medical Informatics, Miner, Gary D. (ceo, Mccormick, Keith (data Science Principal (1) Marcus, Jos, Dam, Nick Van (1) Wirsansky, Eyal (1) Hamburger, Onno, Bergsma, Ad (1)