We developed a symbolic approach for model checking of quantum circuits using laws of quantum mechanics and basic matrix operations using the Maude programming language." Their approach is ...

the iconic character from the Matrix film series. This transformation is particularly symbolic, considering Smith famously turned down the role of Neo in favour of starring in 'Wild Wild West'.