Computer Science and Engineering
Abbreviation of study field: INF-A
Lenght of study: 4 yaers
Form of study: full-time or combined
Department: Department of Computer Science and Engineering
List od Courses
The research areas include but are not limited to:
1) Methods for development of distributed and embedded systems
Methods of exact functionality specification of distributed systems using existing or newly developed abstract models. Research into and development of distributed systems architectures with emphasis on the utilization of reusable HW and SW components. Methods and languages for the formal description of component interface and functionality, and architectural specifications (connection and communication of components).
Distributed and parallel simulation, active networks, GRID and mobile computing.
Abstract models of distributed systems architecture aimed at the evaluation of safety and reliability parameters. Construction of complex distributed systems, models that support decomposition into independent parts.
Development and comparison of different methods of component design verification based on formal specifications of component properties. Theoretical aspects of verification, combination of various verification methods, and investigation of a simulation model “distance” from the real system.
Analysis of component models, their utility for complex software systems design. Properties of components, knowledge acquisition verification from existing implementations, property correspondence verification for component relations and substitutions. Models and tools for visualization of complex software systems.
2) Intelligent methods for data processing
Development of special methods of biomedical and/or biometric signal processing. Development of models and methods for knowledge representation including models learning directly from the already analyzed biometric and biomedical signals. Knowledge extraction from signal waveforms analyzed and saved in neuroinformatic and biometric databases.
Development of new models and methods for knowledge representation and acquisition, including derivation of models from data and multilingual ontology infrastructure for the semantic Web. Utilization of approaches from natural language understanding, artificial intelligence, mathematics, databases and agent technologies.
Theoretical investigation of the concept of disinformation and its detailed analysis. Creation of models for passive problems – identification, measure of risk and decision-making. Creation of models for active problems – control and influence.
3) Methods for the representation of graphical information
Research into and design of algorithms for computer graphics, data and information visualization, data representation, geometric object modelling and manipulation, application of computational geometry. Design of algorithms with respect to robustness and large data processing. Research into algorithms for virtual reality, human-computer interfaces for virtual and collaborative spaces, development of visual human-computer interaction techniques.
Organization of study
The doctoral candidate applies for admission through the Dean´s Office and chooses a doctoral thesis topic proposed by the supervisor. The doctoral candidate is invited for an entrance interview, during which the Admission Board appraises the student’s ability to pursue doctoral study (knowledge of the chosen field of study, study results achieved so far, participation in projects, publications, and study stays abroad); depending on the results of the entrance interview, the Admission Board makes a recommendation to the Dean and, if the interview is successful, proposes the supervisor.
The student formulates his/her individual study plan and discusses it with the supervisor after the start of his study. The individual study plan must fulfill the following departmental requirements:
The student is required to complete at least three courses in the given field of study. One course must be taken outside the Department. The courses have to be completed during the first three semesters. During this period of study, the student studies and analyses the existing literature (textbooks, conference proceedings, journals, and other sources) and starts original research. By the end of March of the second year he/she presents to the supervisor an analysis of the state of the art and a description of the thesis goals in the form of a written PhD. research proposal. It is expected that the research proposal is written in English.
The student has to demonstrate his/her ability to communicate in foreign language (English) in addition to his study results. Furthermore he is leaded to publish his/her scientific results in journals and scientific conferences/work-shops and if need be, the supervising Department may entrust the PhD. student with teaching in the range of 2 – 4 hours per week at most. Student actively participates on seminars and other educational and research activities of the department too.
The student applies for admission to the state doctoral examination and submits the written PhD. research proposal by the end of April of the second year. The state doctoral examination is usually set at the end of June. It is expected that two conference papers authored by the student have at least the “accepted” status by that time. If the student has fulfilled some of the requirements at another institution of higher education before commencing his/her study at the Faculty of Applied Sciences, a proposal for the recognition of the fulfillment must be included in the individual study plan at the beginning of the study.
After passing the state doctoral examination, the student conducts original research activities during them he prepares his/her PhD. thesis. It is expected that he/she will publish another 2-3 reviewed conference papers; publication of a paper/papers in a scientific journal is highly recommended, too. After four years, the study is completed by submitting a written PhD. thesis in English and defending it successfully in an oral examination.
The doctoral study is concluded by the defense of the PhD. thesis. It takes place before the State Examination Board, consisting of outstanding specialists in the given field and approved by the Scientific Council of the Faculty. The thesis is reviewed at least by two independent specialists who write their meaning about results of the PhD. research and send their reviews to the Dean of the Faculty and to the Chair of the State Examination Board. After a successful defense, the PhD. student is awarded the PhD. degree.
Profile of the programme
The doctoral study programme is designed as an academic one and consists of coursework and research work. Research focuses on Intelligent Data Processing Methods, Computer Graphics and Data Visualisation, Computer Systems and Networking, and Software Engineering and Information Systems. The programme also includes abroad study mobility/internship. The graduate can apply for researcher positions in a corresponding area. Graduates are qualified to work as research and academic workers at universities and in scientific or research institution or developers and managers in development subdivisions of IT companies.