Question: Who works with the senior executive vice president in charge of Adult Swim at Williams Street?

full_context: Document 1: Time Warner: Time Warner, Inc. is an American multinational mass media and entertainment conglomerate headquartered in New York City. It is currently the world's third largest entertainment company in terms of revenue, after Comcast and The Walt Disney Company. It was also once the world's largest media conglomerate. Time Warner was first founded in 1990, with the merger of Time Inc. and Warner Communications. The current company consists largely of the assets of the former Warner Communications (as well as HBO, a Time Inc. subsidiary prior to the merger), and the assets of Turner Broadcasting (which was acquired by the company in 1996).
Document 2: List of Warner Bros. Television programs: This is a list of television series produced, distributed or owned by Warner Bros. Television, a subsidiary of Time Warner. This list also includes shows produced or distributed by Warner Bros. Animation, Warner Horizon Television, Lorimar Television, Telepictures, Castle Rock Entertainment, New Line Television, HBO, Turner Broadcasting System, Adult Swim, CNN and Cartoon Network.
Document 3: Mike Lazzo: Michael Lazzo (born April 10, 1958) is an American television producer and the senior executive vice president in charge of Adult Swim at Williams Street.
Document 4: Mike Scully: Michael "Mike" Scully (born October 2, 1956) is an American television writer and producer. He is known for his work as executive producer and showrunner of the animated sitcom "The Simpsons" from 1997 to 2001. Scully grew up in West Springfield, Massachusetts and long had an interest in writing. He was an underachiever at school and dropped out of college, going on to work in a series of jobs. Eventually, in 1986, he moved to Los Angeles where he worked as a stand-up comic and wrote for Yakov Smirnoff.
Document 5: Warner Bros.: Warner Bros. Entertainment Inc. (previously incorporated as Warner Brothers Pictures, Inc. and colloquially known as Warner Bros. and Warner Bros. Pictures) is an American entertainment company that is a division of Time Warner and is headquartered in Burbank, California. It is one of the "Big Six" major American film studios.
Document 6: 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 7: 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 8: Adult Swim: Adult Swim (stylized as [adult swim]) is the adult-oriented nighttime programming block of American children's cable network, Cartoon Network, that operates daily from 8:00 pm to 6:00 am, Eastern and Pacific Time. It is programmed by Williams Street Productions, a subsidiary of Turner, which also developed two other programming blocks for Cartoon Network: Toonami (which later became a block on Adult Swim in 2012) and Miguzi. The block gets its name from a phrase used by public swimming pools in the United States to label designated times when children are restricted from using the facilities in favor of adults.
Document 9: Boomerang (TV channel): Boomerang is an American digital cable and satellite television network that is owned by The Cartoon Network, Inc., a subsidiary of Turner Broadcasting System, itself being a subsidiary of Time Warner. It specializes in classic and contemporary animated programming from Time Warner's archival history, including "Looney Tunes", "Tom and Jerry", and "Scooby-Doo", along with repeats of in-production series on its sister and another Turner-owned channel, Cartoon Network including "Sonic Boom" and "The Powerpuff Girls".
Document 10: Cartoon Network: Cartoon Network is an American basic cable and satellite television channel that is owned by The Cartoon Network, Inc., a subsidiary of Turner Broadcasting System, itself being a subsidiary of Time Warner. It was founded by Betty Cohen and launched on October 1, 1992.
Document 11: 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 12: Michael J. Lotz: Michael J. Lotz is President and Chief Operating Officer of Mesa Air Group, joining the Company in July 1998. In January 1999, Mr. Lotz became Chief Operating Officer. In August 1999, Mr. Lotz became the Company’s Chief Financial Officer and in January 2000 returned to the position of Chief Operating Officer. On June 22, 2000, Mr. Lotz was appointed President of the Company. Prior to joining the Company, Mr. Lotz served as Chief Operating Officer of Virgin Express, a position he held from October 1996 to June 1998. Previously, Mr. Lotz was employed by Continental Airlines, most recently as Vice President of Airport Operations, Properties and Facilities at Continental Express..
Document 13: 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 14: Michael Dante DiMartino: Michael Dante DiMartino (born July 18, 1974) is an American animation director best known as the co-creator, executive producer, and story editor of the animated TV series "" and "The Legend of Korra", both on Nickelodeon. He was born in Shelburne, Vermont. He studied at the Rhode Island School of Design with Bryan Konietzko, with whom he created "Avatar." Before "Avatar," Mike worked for twelve years at Film Roman, helping to direct "King of the Hill", "Family Guy", and "Mission Hill" in addition to his own animated short, "Atomic Love", which was screened at a number of high-profile film festivals. The dedication to his father's memory can be seen in the last episode of "Avatar: The Last Airbender". In a 2010 interview the president of Nickelodeon, Cyma Zarghami, confirmed that DiMartino and Konietzko were developing a new series for the network, called "The Legend of Korra". The series premiered on April 14, 2012, running 12 episodes for the first book "Air" and 14 for the second book "Spirits", which premiered on September 13, 2013 to 2.60 million viewers in the U.S., then the third book "Change" and the fourth and final book "Balance" of 13 episodes each.
Document 15: Mick Kaczorowski: Michael "Mick" Kaczorowski (born January 4, 1960) is the Creative Director and Producer of Bangkok Swagger is a nine time nominated and three time Emmy Award winning Producer and Executive Producer. As Executive Producer, he is responsible for some of Animal Planet and Discovery’s biggest and most iconic hits including , Raising the Mammoth, and Walking with Prehistoric Beasts. Kaczorowski is also responsible for many of Discovery Channel and Animal Planet long running hit series including Meerkat Manor, North Woods Law, River Monsters, Alaskan Bush Family, Wild West Alaska, Buggin with Rude, and American Stuffers. Kaczorowski has worked in Washington D.C. for Discovery Channel, Animal Planet and the National Geographic Society. Kaczorowski began his filmmaking career in 1982 working in feature films for Director Robert Altman on Streamers, O.C. and Stiggs and Secret Honor. In 1985 Kaczorowski helped launch before it became National Geographic Television, and was a film editor for over 10 years editing over 40 films, earning two Emmy nominations for best editing for Dancing with Stingrays and Ocean Kayakers. He edited Discovery Channel’s first original production Ivory Wars. Kaczorowski joined Discovery Communications in 1994 holding many positions and titles across different Discovery networks. Over the next 20 years, he developed, supervised and managed everything from documentary specials and long running series, IMAX movies “”, Discovery’s first feature film “”, Animal Planet’s first feature film “” and Animal Planet’s first scripted drama “The Whale”. His production company Bangkok Swagger casts, develops and creates programing around the world for the web, social media and traditional television & cable networks.
ground_truth: Keith Crofford