Who is Amy Gleason, the woman who actually heads DOGE?

It was originally believed that Elon Musk was leading the agency as he had been instrumental in setting up the framework for what Trump wanted to accomplish.