Who is Yeshu Ben Pantera ?

Who is Yeshu Ben Pantera ? What are the linguistic and historical origins of the name 'Ben Pantera'? I am interested in exploring the theories regarding whether 'Pantera' refers to a specific Roman soldier, or if it was a satirical play on the Greek word parthenos (virgin).