Difference between revisions of "MSc:TechnicalElectives"
Jump to navigation
Jump to search
(Created page with "= List of MSc Technical Electives = Still to do == Fall Semester == * Technology 4 * Technology 5 == Spring Semester == * Technology 1 * Technology 6 * Technology 7") |
|||
| Line 1: | Line 1: | ||
= List of MSc Technical Electives = |
= List of MSc Technical Electives = |
||
| + | * [https://eduwiki.innopolis.university/index.php/Elective:ConcurrentObjectOrientedProgrammingwithSCOOP.tex Concurrent Object-Oriented Programming with SCOOP] |
||
| − | Still to do |
||
| + | |||
| + | * [https://eduwiki.innopolis.university/index.php/Elective:NaturalLanguageProcessingAndMachineLearning.tex Natural Language Processing and Machine Learning] |
||
| + | |||
| + | * 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 == |
== Fall Semester == |
||
Latest revision as of 15:59, 23 September 2021
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