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.

Selected topics:

• Agata Ciabattoni: Proof theory (development of tools or theory), integrating Logic with Reinforcement Learning or Large Language models, AI ethics
• Christian Fermüller: Fuzzy logic, Artificial intelligence (logic oriented), computability
• Martina Lindorfer: Systems and mobile security, static and dynamic program analysis for malware and privacy leak detection, IoT communication protocols
• Stefan Podlipnig: Topics in programming instruction, tools for support in basic programming instruction (creation of TUWEL question types, evaluation), Open Educational Resources ((automatic) creation, metadata, evaluation)
• Gernot Salzer: Blockchain technologies, smart contracts, formal specification and verification

For further topics, please contact the other lecturers.

The students search for relevant methods in literature, evaluate 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.