Chair of Computer Science Theory

HISTORY

       Chair of Computer Science Theory has been founded in Simferopol State University (since 1999 Tavrical National University) in 1994 as a subdivision of the Mathematics Department.
       According to the decision of Ukrainean Ministry for Education, four specialities of mathematics direction, are established in Ukraine: Mathematics. Computer Science, Applyed Mathematics and Mathematical Statistics, but Computer Science has been included this list only in 1993.
       The Head of the Chair of Computer Science Prof. Donskoy V.I. received his Doctor of Phis.-Math. Sci. degree in CS theory in 1994 from the Computer Center at the Russian Academy of Sciences. He was initiator of the CS Chair foundation in Simpheropol State Univercity .

ACADEMIC STAFF

Head ofthe Chian Full Prof., Dr. Vladimir I. Donskoy.

Major curriculum courses are: Discrete Mathematics, Mathematical Foundation of Computer Science, Operation Research.
Special courses: Discrete Decision Making Models with Incomplete Information, Mathematical Theory of Pattern Recognition, AI-based Software.

Associate Prof., Dr. .

Major curriculum courses was: Programming, Data Analysis .
Special courses:Computational Geometry, Data Structures.

Associate Prof., Dr. Vitaly B. Popov.

Major curriculum courses are: Artificial Intelligence, Programming, Operating Systems.
Special courses: Automated Theorem Proving, Interactive Models, Prolog.

Associate Prof., Dr. Ludmila I. Rudenko.

Major curriculum courses are: Operation Research, Computer Aided Control, Information Systems.
Special courses: Linear Decision Making models with Incomplete Information, FoxPro-based Information Systems.

RESEARCHES

Chair of Computer Science currently consists of 8 faculty members and 3 postgraduate students. The Chair is rapidly becoming known as a leader in both research and education at the undergraduate and graduate levels.
The main scientific directions are Decision Making with Incomplete Information, Pattern Recognition, Artificial Intelligence, Expert Systems, Computational Geometry, Automated Theorem Proving.

PUBLICATIONS

Donskoy V.I. Intelligent Decision Making based on the Canonical Optimisation Model with a Disjunctive Constraint: Theory and applications//Proc. of Int. Conf. AIENG'96, 11-13 Sep., 1996, Clearwater, Florida, USA,1996.
Donskoy V.I. Pseudo-Boolean Scalar Optimization Models with Incomplete Information//GMOOR Newsletter, 1996, 1/2, p.20-26.
Donskoy V.I. The Dual Expert Systems//"Izv. Russian Acad. Sci.", Tech. Cybern., 1993, 5, 111-119.(In Russian)
Donskoy V.I. Logical production systems: analysis and synthesis// Cybernetics and System Analysis, Kiev, 1994, 4, p.11-22.(In Russian)
Donskoy V.I., Perekhod I.A. Multiple Criteria Models with the Linear PseudoBoolean Functions and Disjunctive Restrictions// Multiple Criteria Decision Making. Proc.of the 12th Int.Conf. Hagen, Germany. Springer, 1997, p. 13-21.