"The name Pāṇini Backus form has also been suggested in view of the fact that the expansion Backus normal form may not be accurate, and that Pāṇini had independently developed a similar notation earlier."
So that may be one of the (few or common?) cases where something was named (or considered being named) after a person thousands of years after the person existed :)