There are two basic chips in the most SDR hardware: a tuner chip and also a USB controller chip. Obviously the tuner chip is the radio frequency tuner for pulling in the stuff you want to listen to and the USB controller chip is what allows the software running on the computer to control the tuner. In the very popular RTL-based "cheap USB TV tuners" that have been the main reason SDR has exploded in the monitoring community over the past few years the tuner chip is made by a company called Rafael Micro (the R820T and R820T2) and the USB controller chip is made by Realtek (the RTL2832U).
In the SDRplay the developer of that hardware took a different route and chose a different manufacturer for the chipset and it's an all-in-one solution meaning it's not two separate chips (a tuner chip and a USB controller chip) and that AIO solution is made by a company called Mirics. What you're seeing as a program (and would be under Device Manager as well I'm guessing) is the software related to the Mirics hardware chipset and you're fine in that respect.
SDRplay itself is made by one manufacturer but the actual chipset used is made by Mirics, to make it as plain and simple as possible. It's sorta like how your computer could be made by Dell or Gateway or HP or something but the processor itself is made by Intel or AMD (and the chipset as well to match the CPU almost always), for example.