After successful completion of the course, students are able to apply methods of computer science to a given problem. They are able to analyze the problems, to choose adequate methods for its solution and to evaluate the result.

The student negotiates an individual project topic with the advisor, does research on the topic, and develops a theoretical or practical solution. Depending on the topic, the outcome of the project may consist of a document, a program, or both.

Topic areas:

• Blockchain technologies, smart contracts, cryptography, formal specification and verification: please contact Gernot Salzer.
• Fuzzy logic, Artificial intelligence (logic oriented), computability: please contact Christian Fermüller.
• Proof theory, medical expert systems, nondeterministic matrices: Agata Ciabattoni.
• Further topics: please contact the other lecturers after checking their home pages.

The students search for relevant methods in literature, determine their suitability for the problem at hand, and apply one or more of them to solve the chosen task. They document their work and present the results.

The students are evaluated individually according to the following criteria: quality of literature research, suitability of chosen approach, comprehensiveness and precision of project documentation and presentation, quality of results.

Depending on your interests, see one of the professors.