Theory behind technology
Algorithms and computing power today’s technologies. But how many of us understand the theory behind them? This programme invites you to explore the fundamental principles of theoretical computer science.
The core focuses on advanced algorithms, modern programming languages, program analysis and verification, and non-classical computation, including neural networks and quantum computing.
What would my studies look like?
Curious about the classes? Take a look at a few examples from the suggested study plan:
1st Semester
- Selected Topics on Automata Theory
- Probability in Computer Science
- Algorithmic Game Theory
- Graph Theory
2nd Semester
- Algorithms and Data Structures
- Optimization
- Introduction to Quantum Computing
- Neural Networks
3rd Semester
- Complexity
- Algorithmics for Hard Problems
- Graph Algorithms
- Coding
4th Semester
- Programming Language Semantics
- Diploma Thesis
- Advanced Combinatorics
- Satisfiability and Automated Reasoning
Still sounds kinda all over the map?
Don’t worry, you can choose from the following specializations:
Discrete Algorithms and Models
- Learn theoretical computer science and discrete math.
- Tackle challenging analytical problems.
- Get early research experience akin to doctoral studies.
Formal Analysis of Computer Systems
- Explore formal methods for modeling, testing, and verifying software.
- Learn about verification tools.
- Build practical skills for software quality assurance.
Principles of Programming Languages
- Get into programming paradigms and compiler design.
- Choose optimal tools and adapt to new languages with ease.
Fundamentals of Artificial Intelligence
- Ground yourself in the mathematics of AI.
- Prioritize reliability and explainability.
- Engage with research, ongoing projects, and advanced AI development
Once I'm done, what can I be?
- Software Developer
- System Architect
- Verification Engineer
- Algorithm Engineer
- Quantitative Analyst
How to: admission
- Submit required documents (CV, cover letter, recommendations, proof of English, etc.).
- Take the entrance exam (unless you qualify for a waiver)
Everything can be done online, no need to travel to Brno.
