Edit: Was not aware of the Torovoltos copypasta when I wrote the below.
That sounds more Greek than Russian.
"Lën Nikolaevitch Torpravi(tel)sky" would be a Russified calque of Torvalds' name, although that has at least a couple of issues with it. (1: The first word is literally "Linen". Same root, but no personal name developed from that root in Russian that I can see. 2: No-one has either surname.)