Group of Probability at IST