હિરેનભાઈ જોષી, પ્રો.