Research Related to Logic
Prof. O. Shmueli (Database Theory)
Dr. D. Geiger (AI, Reasoning with Uncertainty )