• Raj Rajkumar, Carnegie Mellon University
  • Thomas Henzinger, IST Austria
  • Michael Ernst, Amazon