List of MSc Technical Electives

From IU
Revision as of 12:05, 9 February 2023 by M.petrishchev (talk | contribs)
Jump to navigation Jump to search


  • CSE708 - R&D Performance Management
  • [Advanced Computer Vision]
  • [Flutter Development]
  • [DevOps Engineering (Advanced)]
  • [Modern Blockchain Systems]
  • [Public Speaking for IT-Specialist (Advanced)]
  • [Leadership in Entrepreneurship]
  • [Design Fiction (Advanced)]
  • [Entrepreneurial Negotiations]
  • [Behavioral and Cognitive Robotics]
  • [Natural Language Processing and Machine Learning]
  • [Foundations of Software Verification]
  • [Formally-Verified Operating Systems]
  • [Formal Verification of Distributed Algorithms and Cryptographic Protocols]
  • [Construction of Formally-Verified Compilers]
  • [Functional Programming with Haskell]
  • [Distributed Systems (Advanced)]
  • [Efficient Data Collection and Labeling via Crowdsourcing]
  • [Advanced Computer Vision]
  • [Functional Programming with Haskell]
  • [Autonomous Mobile Robotics (Advanced)]
  • [Modern Control Paradigms]
  • [Web Development]
  • [Simulation Modelling]
  • [Flutter Development]
  • [Flutter Development]