שמואל כץ (מדען מחשב)