8.4+: How to get URL to user's profile page in Dashboard?

Permalink
The user profile page url in the browser is, for example, dashboard/users/search/view/2.

How can I get that URL in php? Is it simply:
<a href="<?php Url::to('/dashboard/users/search/view', $user->getUserID()); ?>">user</a>

Thank you.

linuxoid