Dr. Federico Spedalieri serves at USC???s Information Sciences Institute (ISI), where he works to bridge the gap between the adiabatic quantum computing model (and its incarnation in the form of the D-Wave Two) and applications to fields such as model checking, natural language processing, scheduling and planning, complex system design and more.