Bshouty, Nader H.

Mathematical Logic and Formal Languages. Computer algorithms Logics and Meanings of Programs. Pattern Recognition. Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity. Computation by Abstract Devices. Machine learning Computer Science.