Name Automated code analysis for large software systems 20-00-0732-iv English /14 Cloud Security 20-00-0729-se English and /14 Cryptography, Privacy and Security 20-00-0672-se English and /14 Current Topics in Multicore Semantics 20-00-0738-se English /14 Database systems II 20-00-0048-iv English /14 Efficient Graph Algorithms 20-00-0110-iv English and /14 Formal Specification 20-00-0382-se English /14 Implementation of Programming Languages 20-00-0306-pr English /14 Lab Algorithms for Chip Design Tools 20-00-0571-pr English and /14 Middleware 20-00-0153-iv English /14 Modeling Lab 20-00-0383-pr English /14 Modern C++ Programming 20-00-0747-pr English /14 Multimedia Technology 20-00-0624-se English and /14 Natural Language Processing and the Web 20-00-0433-iv English /14 Operating Systems 20-00-0175-iv English /14 Peer-to-Peer Networks 20-00-0117-iv English /14 Performance and Scalability of E-Commerce-Systems 20-00-0075-vl English 5 winter term /14 Physical Layer Security in Wireless Systems 20-00-0745-iv English and /14 Programming parallel Computer Architectures 20-00-0626-iv English /14 Recommender Systems 20-00-0686-se English and /14 Research course tools for secure multi-party computation 20-00-0741-se English and /14 Robot Learning 20-00-0629-vl English and /14 /14 /14 Security and the Cloud - The Issues and Metrics 20-00-0577-se English and /14 Security of Software Defined Networking 20-00-0740-se English /14 Smart Cities 20-00-0619-se English and /14 TK: Security, Privacy and Trust 20-00-0620-se English /14 Serious Games Lab 20-00-0236-pr English and /14 Page 1/6
Name Serious Games Project 20-00-0649-pp English and /14 Serious Games 20-00-0328-se English and /14 Simulation and evaluation on computer networks 20-00-0736-iv English and /14 Smart Grid Informatics and Trustworthiness 20-00-0684-se English /14 Smartphone-Security for Android Applications 20-00-0739-pr English and /14 Software Architecture 20-00-0730-se English /14 Software Development Tools 20-00-0673-pr English and /14 Software Engineering - Design and Construction 20-00-0341-iv English /14 Software Engineering - Projectmanagement 20-00-0178-vl English 5 winter term /14 Software Engineering in industrial practice 20-00-0317-vl English /14 TK1: Distributed Systems 20-00-0065-iv English /14 Topics in Network Security 20-00-0549-se English and /14 Type Systems of Programming Languages 20-00-0727-iv English /14 Wireless Sensor Networks 20-00-0354-pr English /14 Advanced Topics in Mobile Networking 20-00-0510-se English Advanced Topics in Scientific Visualization 20-00-0607-se English and Automatic Theorem Proving 20-00-0660-iv English and Computer Vision 20-00-0157-iv English Concepts of Programming Languages 20-00-0072-iv English Constructive Side Channel Analysis 20-00-0671-pr English and Design and Implementation of Modern Programming Languages 20-00-0182-se English Discussion Metaprogramming 20-00-0708-se English Educational Computer Science 20-00-0666-se English and Enterprise Application Design 20-00-0071-iv English Formal Methods for Information Security 20-00-0362-iv English Game Technology 20-00-0649-pp English and GPU Cluster Computing 20-00-0657-iv English and HandsOn Training - Software Security for Mobile Devices 20-00-0640-pr English Human Centred Security 20-00-0698-iv English Page 2/6
Name Implementation of Programming Languages 20-00-0306-pr English Implementing Secure & Reliable Software 20-00-0551-se English IT Solutions with Software Engineering in Practice 20-00-0635-iv English Large-scale Information Processing 20-00-0706-iv English and Machine Learning: Statistical Approaches 20-00-0358-iv English Mechanizing mathematical theory of programming languages: Operational semantics of WHILE in COQ 20-00-0703-iv English 5 summer term Mobile Security 20-00-0652-se English and Network Security 20-00-0512-iv English Operating Systems II: Dependability and Trust 20-00-0378-iv English Peer-to-Peer-Middleware 20-00-0269-pr English Post-Quantum Cryptography 20-00-0651-se English Recommender Systems Project 20-00-0707-pr English and Robot Learning 20-00-0636-se English and Scale Space and PDE methods in image analysis and processing 20-00-0469-se English Secure Coding Lab 20-00-0656-pr English Secure Mobile Systems 20-00-0583-vl English Security and Privacy in Smart Grid Critical Infrastructures 20-00-0668-pr English and Security Metrics in Cloud Computing 20-00-0577-se English and Semantic Transformations 20-00-0643-vl English and Advanced Topics in Computer Vision and Machine Learning 20-00-0645-se English and on Multimedia Technology 20-00-0648-se English and P2P 20-00-0475-se English and Semantic Transformations 20-00-0644-se English and Smart Grid Informatics and Trustworthiness 20-00-0684-se English Software Engineering - Design and Construction 20-00-0341-iv English Software Security for Mobile Devices - 20-00-0641-se English Symbolic Execution 20-00-0702-se English and Page 3/6
Name Wireless Sensor Networks 20-00-0313-se English 3D Video and Mobile Peer-to-Peer Systems 20-00-0624-se English and Advanced Machine Learning: Project Class 20-00-0669-pp English Computer Vision II 20-00-0401-iv English Constructive Side Channel Analysis 20-00-0671-pr English and Cryptographic Gems 20-00-0685-iv English and Cryptography, Privacy and Security 20-00-0672-se English and Current Topics in Information Flow Security 20-00-0612-se English Database systems II 20-00-0048-iv English Digital Signatures 20-00-0679-se English and Educational Computer Science 20-00-0666-se English and Efficient Graph Algorithms 20-00-0110-iv English and Formal Specification 20-00-0382-se English Game Technology 20-00-0649-pp English and Implementation of Programming Languages 20-00-0306-pr English Lab Algorithms for Chip Design Tools 20-00-0571-pr English and Machine Learning: Statistical Approaches 2 20-00-0449-iv English Malware 20-00-0681-se English and Middleware 20-00-0153-iv English Modeling Lab 20-00-0383-pr English Natural Language Processing and the Web 20-00-0433-iv English Operating Systems 20-00-0175-iv English Peer-to-Peer Networks 20-00-0117-iv English Performance and Scalability of E-Commerce-Systems 20-00-0075-vl English 5 winter term Persistent Storage - Data Structure and Algorithms 20-00-0496-vl English Post-Quantum Cryptography 20-00-0632-iv English Programming parallel Computer Architectures 20-00-0626-iv English Recommender Systems 20-00-0686-se English and Research-orientend Cryptography 20-00-0680-iv English and Page 4/6
Name Robot Learning 20-00-0629-vl English and Security and Privacy in Smart Grid Critical Infrastructures 20-00-0668-pr English and Security Metrics in Cloud Computing 20-00-0577-se English and Security, Usability and Society 20-00-0665-se English and Smart Cities 20-00-0619-se English and Smart Grid Informatics and Trustworthiness 20-00-0684-se English Software Development Tools 20-00-0673-pr English and Software Engineering - Projectmanagement 20-00-0178-vl English 5 winter term Statical and dynamical program analysis 20-00-0580-iv English Topics in Network Security 20-00-0549-se English and Wireless Sensor Networks 20-00-0354-pr English Advanced Topics in Mobile Networking 20-00-0510-se English Advanced Topics in Scientific Visualization 20-00-0607-se English and Automatic Theorem Proving 20-00-0660-iv English and Classical Results in Modern Cryptography 20-00-0661-se English Computer Vision 20-00-0157-iv English Concepts of Programming Languages 20-00-0072-iv English Current Topics in Usage Control 20-00-0584-se English Dependable/Secure Mobile Computing 20-00-0547-se English Design and Implementation of Modern Programming Languages 20-00-0182-se English Enterprise Application Design 20-00-0071-iv English Formal Methods for Information Security 20-00-0362-iv English Game Technology 20-00-0649-pp English and GPU Cluster Computing 20-00-0657-iv English and HandsOn Training - Software Security for Mobile Devices 20-00-0640-pr English Implementation of Programming Languages 20-00-0306-pr English Implementing Secure & Reliable Software 20-00-0551-se English Page 5/6
Name Machine Learning: Statistical Approaches 20-00-0358-iv English Mobile Security 20-00-0652-se English and Network Security 20-00-0512-iv English Operating Systems II: Dependability and Trust 20-00-0378-iv English Peer-to-Peer-Middleware 20-00-0269-pr English Post-Quantum Cryptography 20-00-0651-se English Robot Learning 20-00-0636-se English and Scale Space and PDE methods in image analysis and processing 20-00-0469-se English Secure Coding Lab 20-00-0656-pr English Secure Mobile Systems 20-00-0583-vl English Security Metrics in Cloud Computing 20-00-0577-se English and Semantic Transformations 20-00-0643-vl English and Advanced Topics in Computer Vision and Machine Learning 20-00-0645-se English and on Multimedia Technology 20-00-0648-se English and P2P 20-00-0475-se English and Semantic Transformations 20-00-0644-se English and Software Engineering - Design and Construction 20-00-0341-iv English Software Security for Mobile Devices - 20-00-0641-se English Tele-cooperation 20-00-0130-se English Usable Security and Electronic Voting 20-00-0650-pr English and Wireless Sensor Networks 20-00-0313-se English Last changed: 18.11. Please note that the availability as well as the number of ECTS are not binding. For current information please see TUCaN. Page 6/6