TU Wien: Masterstudium Software Engineering & Internet Computing (veraltet)
| Links | Ehemalige LVAs, Studienplan, TISS |
|---|---|
| VoWi-Stats |
|
Obligation: Pflichtfach
Advanced Software Engineering
Advanced Software Engineering Project
- Advanced Software Engineering PR (Artner)
- Advanced Software Engineering PR (Biffl)
- Advanced Software Engineering PR (Cito)
- Advanced Software Engineering PR (Grechenig)
Formal Methods in Computer Science
Internet Computing and Distributed Systems Technologies
_no module mapping_
- Seminar für Diplomand innen für Software Engineering Data Management and Machine Learning SE (Pichler)
- Seminar für Diplomand innen für Software Engineering Distributed High-Performance and Automated Systems SE (Hunold)
- Seminar für Diplomand innen für Software Engineering Foundations Logic and Security SE (Ortiz de la Fuente)
- Seminar für Diplomand innen für Software Engineering Human-Centered Visual and Societal Computing SE (Tellioglu)
- Seminar für Diplomand innen für Software Engineering & Internet Computing SE (Christaki)
- Seminar für Diplomand innen für Software Engineering SE (Christaki)
- Seminar für Diplomand innen für Software Engineering Software Engineering and Programming SE (Christaki)
Seminar in Computer Science
- Seminar in Computer Science - Computational Sustainability SE (Brandic)
- Seminar in Computer Science Formal Methods in Systems Engineering SE (Zuleger)
- Seminar in Computer Science - Model Engineering SE (Bork)
- Seminar in Computer Science SE (Träff)
- Seminar in Computer Science Software Engineering SE (Isychev)
- Seminar in Theoretical Computer Science – Graph Algorithms and Computational Geometry SE (Nöllenburg)
Obligation: Gebundenes Wahlfach
Advanced Cryptography *
Advanced Database Systems +
Advanced Internet Computing +
Advanced Logic Programming *
Advanced Model Engineering *
Advanced Multiprocessor Programming *
Advanced Privacy Enhancing Technologies *
Advanced Reinforcement Learning *
Advanced Security
- Seminar aus Security SE (Piller)
- Seminar aus Security SE (Weippl)
- Seminar aus Security Smart Contracts SE (Salzer)
- Smart Contracts VU (di Angelo)
Advanced Topics In Distributed and Next Generation Computing *
Advanced Topics In Security and Privacy *
Advanced Topics In Software Engineering and Programming *
Advanced Topics In Verification and Automated Reasoning *
AI Ethics *
AI Programming *
Algorithmic Encoding Techniques *
Algorithmic Geometry *
Algorithmics +
Algorithmic Social Choice *
Algorithmik
- Advanced Research in Algorithmics VU (Chen)
- Approximation Algorithms VU (Kellerer)
- Distributed Algorithms VU (Schmid)
- KI Ethik VU (Van Berkel)
- KI Ethik VU (van Berkel)
- Mathematical Programming VU (Raidl)
- Modeling and Solving Constrained Optimization Problems VU (Di Gaspero)
- Optimization in Transport and Logistics VU (Raidl)
- Parallele Algorithmen VU (Hunold)
- Problems in Distributed Computing VU (Schmid)
- Real-Time Scheduling VU (Schmid)
- Seminar aus Algorithmik Graphen und Geometrie SE (Nöllenburg)
- Seminar aus Algorithmik SE (Dreier)
- Seminar aus Algorithmik SE (Raidl)
- Seminar aus Algorithmik SE (Träff)
- Structural Decompositions and Algorithms VU (Peitl)
Algorithms for Data Science *
Algorithms in Graph Theory *
Applied Generative AI and LLM-based Systems *
Artifact-based Design *
Artificial Intelligence for Computer Security *
Automated Deduction *
Autonomous Racing Cars *
Beyond Exact Algorithms *
Business Intelligence *
Complexity Theory *
Computer-Aided Verification *
Computersprachen und Programmierung
- Analyse und Verifikation VU (Knoop)
- Codegeneratoren VO (Krall)
- Dynamic Compilation Dynamische Übersetzer VU (Krall)
- Effiziente Programme VU (Ertl)
- Fortgeschrittene funktionale Programmierung VU (Knoop)
- Fortgeschrittene logische Programmierung VU (Neumerkel)
- Fortgeschrittene objektorientierte Programmierung VU (Puntigam)
- High Performance Computing Hochleistungsrechnen VU (Träff)
- Optimierende Übersetzer VU (Knoop)
- Parallele und Echtzeitprogrammierung VU (Blieberger)
- Programmiersprachen VU (Puntigam)
- Programming Principles of Mobile Robotics VU (Schreiner)
- Semantik von Programmiersprachen VU (Zuleger)
- Seminar aus Programmiersprachen SE (Ertl)
- Seminar aus Übersetzerbau SE (Knoop)
- Stackbasierte Sprachen VU (Ertl)
- Typsysteme VO (Puntigam)
Critical Theory of Media and Informatics *
Cryptocurrencies *
Database Theory *
Data Stewardship *
Deep Learning for Natural Language Processing *
Distributed Systems and Networking
- Computer Networks VU (Siegl)
- Distributed Systems Engineering VU (Raith)
- Distributed Systems Engineering VU (Weidl-Rektenwald)
- Hands-On Cloud Native VU (Rauber)
- Hybrid Classic-Quantum Systems VU (De Maio)
- Hybrid Quantum - Classical Systems VU (De Maio)
- Seminar in Distributed Systems SE (Dustdar)
- Web Application Engineering & Content Management VU (Schranz)
- Wireless in Automation VU (Kastner)
Distributed Systems Technologies +
Efficient Programs *
Fixed-Parameter Algorithms and Complexity *
Formale Methoden und Theoretische Informatik
- Computer-Aided Verification UE (Cerny)
- Computer Aided Verification VU (Cerny)
- Formal Language Theory VU (Freund)
- Programmanalyse VU (Zuleger)
- Quantum Computing VU (Egly)
- SAT Solving und Erweiterungen VU (Egly)
- Seminar aus Logik SE (Dvorak)
- Seminar aus Logik SE (Egly)
- Seminar aus Logik SE (Fermüller)
- Seminar aus Logik SE (Ortiz de la Fuente)
- Seminar aus Theoretischer Informatik SE (Egly)
- Seminar aus Theoretischer Informatik SE (Ortiz de la Fuente)
- Seminar Formale Methoden SE (diverse)
- Seminar Formale Methoden SE (Kovacs)
- Seminar Formale Methoden SE (Weissenbacher)
- Seminar Formale Methoden SE (Zuleger)
- Seminar in Logic SE (Leitsch)
- Seminar in Theoretical Computer Science SE (Hose)
Formal Methods for Security and Privacy *
Formal Methods in Computer Science
Formal Methods in Systems Engineering +
Games in Machine Learning *
Generative AI *
GPU Computing And Architectures *
Graph Drawing Algorithms *
Graph Representation Learning *
Heuristic Optimization Techniques *
High Performance Computing *
Human-agent Interaction *
Hybrid Quantum-Classical Systems *
Informationssysteme
- Advanced Information Retrieval VU (Rauber)
- Datenbanktheorie VU (Lanzinger)
- Datenbanktheorie VU (Pichler)
- Deductive Databases VO (Simkus)
- Grundlagen des Information Retrieval VU (Rauber)
- Semi-Automatic Information and Knowledge Systems VU (Sabou)
- Seminar aus Datenbanken SE (Pichler)
Internet of Things *
Introduction to Computational Sustainability *
Knowledge Graphs *
Learning Technologies and Learning Analytics *
Logic and Computability *
Logic-based Artificial Intelligence *
Low-Level Programming *
Machine Learning for Optimization *
Management of Graph Data *
Mathematical Programming and Optimization in Transport Logistics *
Mobile Robotics +
Model Engineering *
Network Security *
Privacy and Trust in Decentralized Systems *
Problem Solving and Search in Artificial Intelligence *
Processing of Declarative Knowledge *
Program Analysis *
Programming Paradigms and Languages *
Project in Computer Science *
Projekt aus Software Engineering & Internet Computing
Reinforcement Learning *
Responsible Digital Ethics *
SAT Algorithms, Applications and Extensions *
Seminar in Computer Science
- Seminar in Logic Formal Methods in Systems Engineering SE (Kovacs)
- Seminar in Logic SE (Eiter)
- Seminar in Logic SE (Fermüller)
- Seminar in Theoretical Computer Science Algorithms SE (Raidl)
- Seminar in Theoretical Computer Science Complexity Theory SE (Pichler)
- Seminar in Theoretical Computer Science SE (Eiter)
Software Engineering
- Advanced Model Engineering SE (Bork)
- Requirements Engineering and Specification VU (Grünbacher)
- Seminar in Software Engineering SE (Biffl)
- Seminar in Software Engineering SE (Christaki)
- Seminar in Software Engineering SE (Hunold)
- Seminar in Software Engineering SE (Isychev)
- Seminar in Software Engineering SE (Träff)
- Seminar in Software Engineering Smart Contracts SE (Salzer)
- Software Testing VU (Winkler)
Structural Decompositions and Meta Theorems *
Symmetric Cryptography *
System and Application Security *
Theoretical Foundations and Research Topics in Machine Learning *
Type Systems *
Obligation: Keine Angabe
Advanced Security
Algorithmik
Computersprachen und Programmierung
Informationssysteme
_no module mapping_
- Advanced Distributed Systems VU (Göschka)
- Advanced Internet Security LU (Weippl)
- Advanced Internet Security VU (Dabrowski)
- Advanced Internet Security VU (Fankhauser)
- Advanced Model Engineering SE (Kappel)
- Advanced Model Engineering VU (Kappel)
- Advanced Project Management VU (Fischer)
- Advanced Project Management VU (Grechenig)
- Advanced Security for Systems Engineering VU (Fankhauser)
- Advanced Software Engineering LU (Grechenig)
- Advanced Software Engineering PR (Grechenig, Biffl)
- Advanced Software Engineering VO (Bernhart Strobl Mordinyi)
- Algorithmen auf Graphen VU (Chwatal)
- Algorithmen auf Graphen VU (Saturni)
- Algorithmen in der Graphentheorie VU (Fleischner)
- Approximationsalgorithmen VU (Pferschy)
- Automated Deduction VU (Laura Kovács)
- Automaten und formale Sprachen VO (Kuich)
- Business Intelligence VU (Tjoa)
- Computability Theory VU (Fokina, San Mauro)
- Computer Aided Verification UE (Weissenbacher)
- Computer Aided Verification VU (Weissenbacher)
- Computer Architecture LU (Grünbacher)
- Computer Architecture VO (Grünbacher)
- Computergraphik 1 LU (Purgathofer)
- Computergraphik 1 VO (Purgathofer)
- Computer Networks VL (Demuth)
- Critical Algorithm Studies SE (Cech)
- Deduktive Datenbanken VO (Woltran)
- Dependable Distributed Systems VU (Kastner)
- Digitale Nachhaltigkeit VU (Kappel, Huemer, Dustdar, Brandic, Musliu)
- Digital Preservation UE (Rauber)
- Digital Preservation VO (Rauber)
- Diplomarbeit SE (diverse)
- Distributed Systems Technologies VL (Froihofer)
- Distributed Systems Technologies VU (Truong)
- E-Commerce 1 VU (Schatten)
- EDV-Vertragsrecht VO (Haslinger, Vinzenz)
- EDV-Vertragsrecht VO (Wolff)
- Effiziente Algorithmen VU (Leitner)
- Einführung in Semantic Systems VU (Tjoa)
- Einführung in Semantic Web VU (Barta)
- Einführung in Semantic Web VU (Kappel)
- Entwurfsmethoden für verteilte Systeme VU (Weidl-Rektenwald)
- Entwurfsmethoden für verteilte Systeme VU (Zdun)
- ERM Fundamentals VU (Schwaiger)
- Formale Verifikation von Software VU (Futschek)
- Fortgeschrittene Aspekte des Qualitätsmanagements VU (Biffl)
- GPU Architectures and Programming VU (Bartocci)
- Graph Representation Learning VU ( Ismail Ilkan Ceylan)
- Grid Computing VU (Brandic)
- High Performance Computing VU (Träff)
- Information Design VU (Zuleger)
- Internet of Things for Smart Systems VU (Schulte)
- Introduction to Type Theories VU (Kovacs)
- Investition und Finanzierung VU (Schneider)
- IT Security in Large IT Infrastructures VU (Fankhauser)
- Knowledge Management UE (Dorn)
- Knowledge Management VO (Dorn)
- Kommissionelle Abschlussprüfung
- Kommunikation und Moderation VU (Pohl)
- Kommunikation und Rhetorik 2 SE (Pichlmair, Riedler)
- Kryptographie VU (Egly)
- Kurt Gödel und die mathematische Logik VO (DePauli-Schimanovich)
- Large-scale distributed computing VL (Brandic)
- Management von Software Projekten VU (Karnovsky)
- Management von Software Projekten VU (Szinovatz)
- Mathematical Programming VU (Ruthmair)
- Mobile Network Services and Applications VU (Grechenig)
- Model Engineering VU (Kappel)
- Molecular Computing VU (Freund)
- Networks: Design and Analysis VU (Ljubic)
- Networks: Design and Analysis VU (Sinnl)
- Network Services VU (Oberleitner)
- Optimization in Transport and Logistics VU (Hiermann, Ritzinger)
- Parallele Algorithmen VU (Träff)
- Patentrecht VO (Preglau)
- Peer-to-peer Systems VU (Bessler)
- Practical Applications of Answer Set Programming VU (Weinzierl)
- Praxisorientierte Betriebswirtschaftslehre VU (Schwaiger)
- Privates Wirtschaftsrecht VO (Lehner)
- Problem Solving and Search in AI VU (Musliu)
- Programmiersprachen VL (Puntigam)
- Programming Principles of Mobile Robotics VU (Knoop)
- Project in Computer Science 1 & 2 PR (diverse)
- Project in Computer Science 1 - Machine Learning Algorithms and Applications PR (Gärtner)
- Quantum Computing VO (Gruska)
- Risikomanagement VU (Grechenig)
- Semantik von Programmiersprachen VU (Gramlich)
- Seminar aus Programmiersprachen SE (Neumerkel)
- Seminar aus Security (Kryptowährungen) SE (di Angelo)
- Seminar aus Security SE (Fankhauser)
- Seminar aus Security (Systems) SE (Weippl)
- Seminar aus Software Entwicklung SE (Grechenig)
- Seminar aus Verteilte Systeme SE (Dustdar)
- Service Level Agreements VU (Brandic)
- Sociology of Technology VU (Steinhardt)
- Software Architecture VU (Dorn)
- Software Architekturen VU (Dustdar)
- Software Architekturen VU (Zdun)
- Software Maintenance and Evolution VU (Bernhart)
- Software Maintenance and Evolution VU (Ehringfeld)
- Software Quality Management VU (Grechenig)
- Software Security VU (Weippl)
- Software Testen VL (Winkler)
- Software Testen VU (Brem)
- Software Testing VU (Artner)
- Software Testing VU (Bernhart)
- Software Testing VU (Ramler)
- Software Testing VU (Schramm)
- Software Wartung und Evolution VU (Grechenig)
- Sprachbasierte Sicherheit VU (Brunthaler)
- Strategische Unternehmensführung UE (Weninger)
- Strategische Unternehmensführung VO (Herbek)
- Structural Decompositions and Algorithms VU (Slivovsky)
- Technical English 1 VO (Oliva)
- Termersetzungssysteme VU (Moser)
- The Java Virtual Machine in Hardware VL (Schöberl)
- TU Wien:Seminar für Diplomand_innen SE (diverse)
- TU Wien:Sicherheit, Privacy und Erklärbarkeit in Maschinellem Lernen VU (Rauber, Mayer)
- Übersetzer für Parallele Systeme VU (Moritsch)
- Usability Engineering VU (Költringer)
- Usability Engineering VU (Tellioglu)
- Verfassungs- und Verwaltungsrecht UE (Zehetner)
- Verfassungs- und Verwaltungsrecht VO (Zehetner)
- Verteiltes Programmieren mit Space Based Computing Middleware VU (Kühn)
- Vertrags-u.Haftungsrecht f.Ingenieure VO (Proksch)
- Vertrags-u.Haftungsrecht f.Ingenieure VO (Ratka)
- Web Accessibility VU (Zagler, Beck, Anjomshoaa)
- Web Application Engineering & Content Management VU (Mairhofer, Mayerhofer)
- Web Data Extraction and Integration VU (Baumgartner)
- Workflow Modeling and Process Management VU (Dorn)
- Workflow Modeling and Process Management VU (Huemer)
Seminar in Computer Science
- Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory SE (Chen)
- Seminar in Artificial Intelligence Neuroscience-based Artificial Intelligence SE (Lukasiewicz)
- Seminar in Artificial Intelligence SE (Eiter)
- Seminar in Artificial Intelligence SE (Woltran)
- Seminar in Artificial Intelligence - Theoretical Aspects of Machine Learning SE (Gärtner)
- Seminar in Artificial Intelligence Theoretical Aspects of Machine Learning SE (Gärtner)
- Seminar in Computer Science Distributed Systems SE (Dustdar)
- Seminar in Computer Science Formal Methods in Systems Engineering SE (Kovacs)
- Seminar in Computer Science Knowledge Representation and Reasoning SE (Eiter)
- Seminar in Computer Science Learning Technologies SE (Röpke)
- Seminar in Computer Science Model Engineering SE (Bork)
- Seminar in Computer Science Programmiersprachen und Übersetzer SE (Krall)
- Seminar in Theoretical Computer Science Graph Algorithms and Computational Geometry SE (Nöllenburg)
- Seminar in Visual Computing Computer Graphics & Visualization SE (Raidou)
- Seminar in Visual Computing Computer Graphics & Visualization SE (Wimmer)
- Seminar in Visual Computing Computer Vision & Applications SE (Gelautz)
- Seminar in Visual Computing Computer Vision SE (Sablatnig)