What is the full name of Bitfinex?

Could you please clarify the full and official name of the cryptocurrency exchange platform known colloquially as Bitfinex? I understand it's a prominent player in the industry, but I'm seeking the exact and complete designation to ensure accuracy in my research or discussions. Additionally, is there any specific context or historical significance tied to its name that might be insightful for those less familiar with the platform?