On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

192.021 Project in Computer Science 1
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023W, PR, 4.0h, 6.0EC, to be held in blocked form

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: PR Project
  • Format: Blended Learning

Learning outcomes

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.

Subject of course

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.

Teaching methods

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.

Mode of examination

Immanent

Lecturers

Institute

Examination modalities

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.

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

if required in English