MSc:TechnicalElectives
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
List of MSc Technical Electives
- Foundations of Software Verification
- R&D Performance Management
- Advanced Computer Vision
- Advanced Topics in Software Testing and Quality Management
- Advanced DevOps
- Advanced Total Virtualization
- Advanced Software Architecture
- Functional Programming with Haskell
- Distributed Systems (Advanced)
- Data Science in Finances
- Transport System Modeling
- Programming Blockchain and Cryptocurrencies
- Autonomous Vehicles
- Automatic Fact Verification and Fake News Detection
- Neurosciences
- Behavioral and Cognitive Robotics
- Advanced Measurement for Robotics
- Construction of Formally-Verified Compilers
- Advanced Python Programming
- Formally-Verified Operating Systems
- Formal Verification of Distributed Algorithms and Cryptographic Protocols
- Efficient Data Collection and Labeling via Crowdsourcing
- Geometry in Computational Applications
- Industrial Nanorobotics and Automation
- Advanced agile software design
- UI/UX design
- Data Mining
- Interacting with Artificial Intelligence
- Fundamentals of Granular Computing for Data Science
Fall Semester
- Technology 4
- Technology 5
Spring Semester
- Technology 1
- Technology 6
- Technology 7