I just found out that her full name is Amy Vivian Coney Barrett...
but I think it’s more efficient to refer to her in context as Barrett, or Justice Barrett.
