نام گذاری یکی از سالن های دانشگاه خوارزمی به نام شهید رحمتی