Professor

Prof. Khaled Mohamed Sadok Bsaies

البرمجة وعلوم الحاسب Computer Engineering & Sciences - Software Engineering

Overview

Prof. Khaled Mohamed Sadok Bsaies Faculty member in the field of البرمجة وعلوم الحاسب College Computer Engineering & Sciences At Prince Sattam bin Abdulaziz University, he contributes to supporting the educational and learning process by offering academic courses, participating in educational activities and programs, and supporting the development of students' skills and enhancing their knowledge in the field. البرمجة وعلوم الحاسب

Courses

2 Decisions

List of courses taught by the faculty member
Course code	Course Name
CS 4321	Programming languages & Compilers
CS 2401	ComputationTheory

For contact

To protect privacy, only official university contact information is displayed, without any personal data.

CollegeComputer Engineering & Sciences
Internal diversion8888
University Mailk.bsaies@psau.edu.sa

Links to official Saudi websites end with edu.sa

Government websites use the HTTPS protocol for encryption and security.

Prof. Khaled Mohamed Sadok Bsaies

Overview

Academic qualifications

Academic progression

Research interests

RESEARCH, TEACHING INTERESTS

• Data and program specification

• Semantics of declarative programs

• Program design and verification

• Computer science foundations

• Algorithmic and heuristic programming

• Automatic Transformation of Declarative programs

• Automatic Deduction of implicative properties

• Correction of faulty conjectures

• Program Synthesis

• Compiler Construction techniques

• Calculability

• Logic in Computer Science

• Artificial Intelligence

Published research

Courses

لا توجد نتائج مطابقة