to be honest, i would jst ask her. i would anyways. dont b affraid.if you slightly hint to her that you like him she might go up to him and say that she knows someone who like him, he'll ask who and she might tell him and he should or might start talkin to you more.
that always happens to me...