The department supervises the education in informatics for the students in bachelor, master, and doctor programs. Research areas: software process, semantics of programs, artificial intelligence, retrieval of logical proofs, real-time systems, converter construction, error-correcting codes. 
    Projects Supported by University Budget : Software Analysis, Design and Implementation Methods.

   Staff