אוניברסיטת חיפה , רשות המחקר - מחקר בין תחומי במדעי המחשב