Question: Brian A. Miller was in charge of production for the animated series created by which marine biologist?

full_context: Document 1: List of SpongeBob SquarePants guest stars: In addition to the show's regular cast of voice actors, guest stars have been featured on "SpongeBob SquarePants", an American animated television series created by marine biologist and animator Stephen Hillenburg for Nickelodeon. "SpongeBob SquarePants" chronicles the adventures and endeavors of the title character and his various friends in the fictional underwater city of Bikini Bottom. Many of the ideas for the show originated in an unpublished, educational comic book titled "The Intertidal Zone", which Hillenburg created in the mid-1980s. He began developing "SpongeBob SquarePants" into a television series in 1996 upon the cancellation of "Rocko's Modern Life", which Hillenburg directed. The pilot episode first aired on Nickelodeon in the United States on May 1, 1999. The show's ninth season premiered in 2012, and episodes of "SpongeBob SquarePants" have aired. A feature-length film adaptation of the show, "The SpongeBob SquarePants Movie", was released in 2004; in 2015, a sequel, "", was released.
Document 2: Butch Hartman: Elmer Earl Hartman IV, better known as Butch Hartman (born January 10, 1965), is an American animator, writer, director, producer, and actor, best known for creating the Nickelodeon cartoons "The Fairly OddParents", "Danny Phantom", "T.U.F.F. Puppy" and "Bunsen Is a Beast". Hartman also owns a production company, Billionfold, Inc., which he uses primarily to produce his shows. Hartman has been an executive producer on "Fairly OddParents" since its series debut in 2001.
Document 3: SpongeBob SquarePants (season 5): The fifth season of the American animated television series "SpongeBob SquarePants", created by former marine biologist and animator Stephen Hillenburg, aired on Nickelodeon from February 19, 2007 to July 19, 2009, and contained 20 episodes, beginning with the special episode "Friend or Foe". The series chronicles the exploits and adventures of the title character and his various friends in the fictional underwater city of Bikini Bottom. The season was executive produced by series creator Hillenburg and writer Paul Tibbitt, who also acted as the showrunner.
Document 4: SpongeBob SquarePants: SpongeBob SquarePants is an American animated television series created by marine biologist and animator Stephen Hillenburg for Nickelodeon. The series chronicles the adventures and endeavors of the title character and his various friends in the fictional underwater city of Bikini Bottom. The series' popularity has made it a media franchise, as well as the highest rated series to ever air on Nickelodeon, and the most distributed property of MTV Networks. As of 2015, the media franchise has generated $12 billion in merchandising revenue for Nickelodeon.
Document 5: SpongeBob SquarePants (season 1): The first season of the American animated television sitcom "SpongeBob SquarePants", created by former marine biologist and animator Stephen Hillenburg, aired from May 1, 1999 to April 8, 2000, and consists of 20 episodes. The series chronicles the exploits and adventures of the title character and his various friends in the fictional underwater city of Bikini Bottom. The show features the voices of Tom Kenny, Bill Fagerbakke, Rodger Bumpass, Clancy Brown, Mr. Lawrence, Jill Talley, Carolyn Lawrence, Mary Jo Catlett, and Lori Alan. Among the first guest stars to appear on the show were Ernest Borgnine and Tim Conway voicing the superhero characters of Mermaid Man and Barnacle Boy, respectively.
Document 6: Williams Street: Williams Street Productions, LLC, (commonly known as Williams Street, and formerly known as Ghost Planet Industries, named after Space Ghost's home planet), is an animation studio that is owned by Cartoon Network and Turner Broadcasting System, which are both subsidiaries of Time Warner. The studio is the in-house production arm of Adult Swim, as well as the network's main headquarters. Keith Crofford and Mike Lazzo oversee operations for the studio building.
Document 7: Saban Entertainment: Saban Entertainment, Inc. (along with Saban International, which operated outside the US; current legal name is BVS Entertainment, Inc.), is a worldwide-served independent American-Israeli television production company formed in 1980 by music and television producers Haim Saban and Shuki Levy as "Saban Productions".
Document 8: Nickelodeon Animation Studio: Nickelodeon Animation Studio, also known in Burbank as Nickelodeon Studios Burbank, is an American animation studio owned and operated by Viacom through its television network Nickelodeon. The studio produces many of the network's most popular animated series, including "SpongeBob SquarePants", "The Fairly OddParents", "Teenage Mutant Ninja Turtles", "Harvey Beaks", "The Loud House", "Bunsen Is a Beast", and "Welcome to the Wayne". It also produces programs for Nicktoons Network, Nick at Nite, TeenNick, and Nick Jr. as well.
Document 9: SpongeBob SquarePants (season 9): The ninth season of the American animated television series "SpongeBob SquarePants", created by former marine biologist and animator Stephen Hillenburg, originally aired on Nickelodeon in the United States from July 21, 2012 to February 20, 2017, and contained 26 episodes, beginning with the episode "Extreme Spots"/"Squirrel Record". The series chronicles the exploits and adventures of the title character and his various friends in the fictional underwater city of Bikini Bottom. The season was executive produced by series creator Stephen Hillenburg and writer Paul Tibbitt, who also acted as the showrunner for the first 15 episodes of the season. Supervising producers Marc Ceccarelli and Vincent Waller acted as the showrunners for the remainder of the season.
Document 10: Keith Crofford: Keith Crofford (born April 14, 1956 in Tuscaloosa, Alabama) is an executive vice president of Adult Swim, the adult-oriented division of Cartoon Network. He is executive producer for several Williams Street in-house productions such as "Space Ghost Coast to Coast", "Aqua Teen Hunger Force", "The Brak Show" and "Squidbillies". He also serves as the executive producer of "for Williams Street" out-of-house productions such as "Sealab 2021", "Robot Chicken", "Tom Goes to the Mayor", "The Oblongs", "Minoriteam" and "Moral Orel". Crofford is also the executive in charge of production for Cartoon Network for "The Venture Bros."
Document 11: Bruce Miller (producer): Bruce Miller is a television writer and producer known for "Eureka" (2006), "The 100" (2014), and "The Handmaid's Tale" (2017). For his work on the latter series he won the 2017 Primetime Emmy Award for Outstanding Writing for a Drama Series which make it the first series on a streaming platform to win an "Outstanding Series" Emmy.
Document 12: Brian A. Miller: Brian A. Miller is an American television producer and the current Senior Vice President and General Manager of Cartoon Network Studios in Burbank, California, having assumed the title in 2000. He was formerly Vice President of Production at Nickelodeon Animation Studio, Vice President of Production at Hanna-Barbera, and Vice President of Production at DIC Entertainment. He also served as a production supervisor for "Alvin and the Chipmunks". He was also the executive in charge of production for various shows in the 1990s and early 2000s such as "Dexter's Laboratory", "CatDog", "Hey Arnold!", "The Angry Beavers", "ChalkZone", "", "The Powerpuff Girls", "Captain Planet and the Planeteers", "Adventures of Sonic the Hedgehog", "Cow and Chicken", "Johnny Bravo", and the first season of "SpongeBob SquarePants".
Document 13: List of SpongeBob SquarePants episodes: "SpongeBob SquarePants" is an American animated television series created by marine biologist and animator Stephen Hillenburg for Nickelodeon. The series is set in the fictional underwater city of Bikini Bottom, and centers on the adventures and endeavors of SpongeBob SquarePants, an over-optimistic sea sponge that annoys other characters. Many of the ideas for the show originated in an unpublished, educational comic book titled "The Intertidal Zone", which Hillenburg created in the mid-1980s. He began developing "SpongeBob SquarePants" into a television series in 1996 after the cancellation of "Rocko's Modern Life", another Nickelodeon television series which Hillenburg previously directed.
Document 14: SpongeBob SquarePants (season 6): The sixth season of the American animated television series "SpongeBob SquarePants", created by former marine biologist and animator Stephen Hillenburg, aired on Nickelodeon from March 3, 2008 to July 5, 2010, and contained 26 episodes, beginning with the episode "Krabby Road". The series chronicles the exploits and adventures of the title character and his various friends in the fictional underwater city of Bikini Bottom. The season was executive produced by series creator Hillenburg and supervising producer Paul Tibbitt, who also acted as the showrunner. In 2009, the show celebrated its tenth anniversary on television. The documentary film titled "" premiered on July 17, 2009, and marked the anniversary. "SpongeBob's Truth or Square", a television film, and the special episode "To SquarePants or Not to SquarePants" were broadcast on Nickelodeon, as part of the celebration.
Document 15: SpongeBob SquarePants (season 11): The eleventh season of the American animated television series "SpongeBob SquarePants", created by former marine biologist and animator Stephen Hillenburg, began airing on Nickelodeon in the United States on June 24, 2017, beginning with the episode "Spot Returns"/"The Check-Up". The series chronicles the exploits and adventures of the title character and his various friends in the fictional underwater city of Bikini Bottom.
ground_truth: Stephen Hillenburg