Lectures (offered in addition to those listed in the requirements)

• Logical Systems of Computer Science
• Theory of Programming: Specification - Verification - Transformation
• Complexity Theory
• Programming Languages and Compilers II: Generating and Optimizing Code
• Geometric Modelling
• Technology of Intelligent Systems
• Networking Applications
• Information Retrieval
• Introduction to Biological Computer Science
• Queueing Networks
• Chip Cards and Cryptographic Methods
• Introduction to Genetic Programming
• Mobile Communications Systems
• Fundamentals of Program Analysis
• Test Organization for Complex Systems: Generation, Execution and Analysis
• Compilers for Embedded Systems
• Current Issues in Efficient Algorithms
• Algorithms for Technical Stock Market Analysis
• Introduction to Fuzzy Logic
• Model Worlds for Discrete, Event-Oriented Systems and their Analysis - an Overview
• Programming Parallel Systems
• Object-Oriented Analysis and Design in UML
• Digital Libraries
• Intelligent Systems
• Approximation Algorithms
• Models for Security
• Constraint Languages
• Fundamental Concepts of Program Analysis
• Controlling Information Flows
• Technical Computer Science
• New Approaches to Artificial Intelligence
• Programmable Molecules
• Testing and Security in Component-Based Software Engineering
• Programming in C++
• Programming in Prolog
• Unix / Network Systems

Project Groups (offered; not all of these will attract the required number of students)

• Process Landscaping: Reference Models for Object-Oriented and Component-Based Software Development Processes
• A Web-Based Collaborative Learning Environment - EDO Workspace
• Access Protocols for 3rd Generation Mobile Networks
• Methodics of Planning Computer Systems: Analysis and Network Planning for Distributed Organizational Units
• Dragon Slayer Sword: Secure Transport of Objects in Large Intranets
• Robot Football - Image Processing, Path Planning and Robot Control
• A Mediated Information System for UNIX System and Network Administration
• SIGEL: Development of a Simulator to Visualize GP-evolved Controls for Walking Robot Architectures
• Computer Aided Planning of Traffic Networks
• Developing an Internet Filter for the Restriction of Content that is Unsuited for Children
• Design and Implementation of an Online Shop
• MPlay3: Development of a Long-Play Portable MP3 Player
• MedMiner - Machine Learning in Intensive Care

< Graduation Requirements | Sample Curriculum >