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