MSc:TechnicalElectives

From IU
Revision as of 15:59, 23 September 2021 by S.yegorycheva (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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