Given a context passage, generate a question from the passage such that its answer is shortest continous span from the passage.
Example: In 1582 the united provinces invited francis, duke of anjou to lead them; but after a failed attempt to take antwerp in 1583, the duke left the netherlands again. after the assassination of william of orange (10 july 1584), both henry iii of france and elizabeth i of england declined the offer of sovereignty. however, the latter agreed to turn the united provinces into a protectorate of england (treaty of nonsuch, 1585), and sent the earl of leicester as governor-general. this was unsuccessful and in 1588 the provinces became a confederacy. the union of utrecht is regarded as the foundation of the republic of the seven united provinces, which was not recognized by the spanish empire until the peace of westphalia in 1648.
Example solution: In what year did francis, duke of anjou leave the netherlands?
Example explanation: The generated question is perfect. Because the question is based on second sentence of the input passage and its answer is 1583.

Problem: PITTSBURGH - For most people, snakes seem unpleasant or even threatening. But Howie Choset sees in their delicate movements a way to save lives. The 37-year-old Carnegie Mellon University professor has spent years developing snake-like robots he hopes will eventually slide through fallen buildings in search of victims trapped after natural disasters or other emergencies. Dan Kara is president of Robotics Trends, a Northboro, Mass.-based company that publishes an online industry magazine and runs robotics trade shows. He said there are other snake-like robots being developed, mainly at universities, but didn't know of one that could climb pipes. The Carnegie Mellon machines are designed to carry cameras and electronic sensors and can be controlled with a joystick . They move smoothly with the help of small electric motors, or servos, commonly used by hobbyists in model airplanes. Built from lightweight materials, the robots are about the size of a human arm or smaller. They can sense which way is up, but are only as good as their human operators, Choset added. Sam Stover, a search term manager with the Federal Emergency Management Agency based in Indiana, said snake-type robots would offer greater mobility than equipment currently available, such as cameras attached to extendable roles. "It just allows us to do something we've not been able to do before," Stover said, "We needed them yesterday." He said snifter dogs are still the best search tool for rescue workers, but that they can only be used effectively when workers have access to damaged building. Stover, among the rescue workers who handled the aftermath of Hurricane Katrina, said snake robots would have helped rescuers search flooded houses in that disaster. Choset said the robots may not be ready for use for another five to ten years, depending on funding.

Solution: Which institution is responsible for the development of Choset's robots?