There has been plenty of work on how to de-anonymize Tor users over the years, e.g., see https://www.cs.princeton.edu/~jrex/papers/usenixsec15.pdf.
There's no doubt in my mind that state actors have been putting similar techniques to use.
There's no doubt in my mind that state actors have been putting similar techniques to use.
But that's not what gp asked.
Has the work you linked to been shown to lead to the successful deanonymization of a normal user during normal Tor browsing? It's a simple yes or no question. I don't follow tor news like I used to but I'm willing to bet a months-worth of salary that the answer is still no.
Or it could leaked, on accident or by a whistleblower. But that's pretty uncommon.