An applied Swiss-inspired curriculum combining algorithmic rigour, systems architecture, digital trust and practical engineering capability for modern technology leaders.
The MSc in Quantum Computing Foundations at Brookfield School of Computing is engineered to provide deep competency across core computer science, systems design, and targeted domain applications. Students develop fluency in software craftsmanship, distributed architectures, algorithm optimization, and data governance.
Instruction balances rigorous theoretical foundations with practical code repositories, laboratory simulations, and ethical technology review aligned with modern international computing standards.
| Code | Module Title | Type | Discipline & Learning Outcome |
|---|---|---|---|
| QNT711 | Advanced Theoretical Computer Science & Computational Complexity | Theory | Evaluate Turing computability, P vs NP, space complexity (PSPACE), randomized complexity (BPP) and circuit complexity. |
| QNT712 | Advanced Distributed Algorithms & Consensus Lab in Quantum Computing Foundations | Practical | Implement and benchmark Paxos, Raft, Byzantine fault-tolerant consensus and vector clocks in C++ and Go. |
| QNT713 | Advanced Compiler Design, Static Analysis & Program Optimization | Theory | Deconstruct control flow graphs (CFGs), dataflow analysis frameworks, SSA form, register allocation and LLVM IR. |
| QNT714 | LLVM Compiler Optimization & Custom Pass Engineering Lab | Practical | Construct custom LLVM optimization passes, loop invariant code motion and automated security sanitizers in C++. |
| QNT715 | Advanced Data Structures & Cache-Oblivious Algorithm Design | Theory | Analyze van Emde Boas trees, splay trees, persistent data structures, succinct data representations and I/O models. |
| QNT716 | High-Performance Parallel Computing & OpenMP / MPI Lab | Practical | Implement parallel algorithms utilizing multi-core OpenMP threads, distributed MPI messaging and SIMD vectorization. |
| QNT717 | Empirical Computer Science Research Methodologies & Rigor | Theory | Formulate rigorous benchmarking methodologies, cycle-accurate simulation (gem5) and statistical significance testing. |
| QNT718 | Formal Verification, Model Checking & TLA+ Systems Studio | Practical | Specify distributed algorithms in TLA+, check state space invariants in TLC and formulate automated proofs. |
| QNT719 | Swiss & Global Computing Standards, Intellectual Property & Open Science | Theory | Examine IEEE/ACM ethical computing codes, software patentability, Swiss open science mandates and reproducible research. |
| Code | Module Title | Type | Discipline & Learning Outcome |
|---|---|---|---|
| QNT721 | Quantum Computing Principles, Qubits & Quantum Algorithms in Quantum Computing Foundations | Theory | Formulate quantum state vectors, unitary operators, entanglement, Deutsch-Jozsa, Shor's and Grover's quantum algorithms. |
| QNT722 | Quantum Circuit Simulation & Algorithm Engineering Lab (Qiskit) | Practical | Implement quantum circuits, variational quantum eigensolvers (VQE) and quantum error mitigation in IBM Qiskit. |
| QNT723 | Advanced Cryptography & Complexity-Theoretic Security Primitives | Theory | Derive one-way functions, pseudorandom generators, hard-core predicates, zero-knowledge proofs and secure multiparty compute. |
| QNT724 | Cryptographic Algorithm Implementation & Side-Channel Defense Lab | Practical | Implement constant-time cryptographic primitives and test for power analysis and timing leak vulnerabilities. |
| QNT725 | High-Performance Operating System Internals & Microkernels | Theory | Analyze capability-based microkernels (seL4), virtual memory paging mechanisms, IPC optimization and hypervisors. |
| QNT726 | Microkernel Engineering & Systems Programming Lab (Rust) | Practical | Construct a bare-metal toy operating system kernel implementing memory management and context switching in Rust. |
| QNT727 | Randomized Algorithms, Derandomization & Probabilistic Analysis | Theory | Analyze Markov and Chebyshev inequalities, Chernoff bounds, martingales, random walks and derandomization techniques. |
| QNT728 | Sublinear Algorithms, Streaming & Graph Sparsification Studio | Practical | Implement streaming sketches (Count-Min, HyperLogLog) and graph sparsification algorithms for massive datasets. |
| QNT729 | Enterprise Computer Science Case Study & Systems Design | Practical | Deliver a high-performance computational systems architecture addressing a complex industry or research problem in Quantum Computing Foundations. |
| Code | Module Title | Type | Discipline & Learning Outcome |
|---|---|---|---|
| QNT731 | Frontiers in Theoretical Computer Science & Unconventional Computing | Theory | Critically assess neuromorphic computing, optical computing, DNA data storage and cellular automata models. |
| QNT732 | Neuromorphic Computing & Spiking Neural Network Lab | Practical | Simulate spiking neural networks on neuromorphic platforms (Loihi/Brian2) for low-power event-driven computing. |
| QNT733 | Strategic Technical Direction, Research Lab Leadership & Scientific Impact | Theory | Formulate research laboratory roadmaps, grant proposal authorship (SNF, Horizon Europe) and technical mentorship. |
| QNT734 | Cycle-Accurate Hardware Simulation & Architecture Lab (gem5) | Practical | Simulate custom CPU architectural features, branch predictors and cache coherency protocols using gem5. |
| QNT735 | Automated Theorem Proving, Coq & Interactive Proof Assistants | Theory | Deconstruct Curry-Howard correspondence, Martin-Löf type theory, dependent types and mechanized mathematical proofs. |
| QNT736 | MSc Quantum Computing Foundations Thesis Proposal Colloquium & Defense | Practical | Author and defend a formal scientific master's research proposal specifying theoretical models and experimental testbeds. |
| QNT737 | Commercializing Deep Tech, Fundamental IP & Research Ventures | Theory | Examine university tech transfer licensing, deep tech venture capital investment criteria and spin-off formation. |
| QNT738 | Pre-Thesis Computational Prototype & Theoretical Benchmark Lab | Practical | Construct initial experimental software prototypes or theoretical proofs and gather preliminary validation metrics. |
| QNT739 | Industry Research Collaboration & Scientific Systems Testing | Practical | Deploy and test computational prototypes within real-world academic or industrial high-performance facilities. |
| Code | Module Title | Type | Discipline & Learning Outcome |
|---|---|---|---|
| QNT741 | MSc Quantum Computing Foundations Dissertation: Empirical Methodology & Theoretical Framework | Practical | Formulate the formal theoretical problem statement, mathematical bounds and experimental test suites in Quantum Computing Foundations. |
| QNT742 | MSc Quantum Computing Foundations Dissertation: Novel Algorithm or Systems Engineering | Practical | Engineer the novel computational system, compiler pass, quantum circuit or algorithm embodying the research in Quantum Computing Foundations. |
| QNT743 | MSc Quantum Computing Foundations Dissertation: Empirical Benchmarking & Theoretical Validation | Practical | Execute rigorous asymptotic complexity validations, hardware-level performance benchmarks and statistical evaluations. |
| QNT744 | Critical Literature Synthesis & State-of-the-Art Analysis in Quantum Computing Foundations | Theory | Synthesize academic publications from STOC, FOCS, SODA, POPL and PLDI computer science conferences. |
| QNT745 | Scalability Benchmarking, Profiling & Security Hardening Lab | Practical | Subject the computational artifact to extreme input stress tests, memory leak profiling and formal verification. |
| QNT746 | Scientific Manuscript Preparation & Peer Review in Quantum Computing Foundations | Theory | Author a publication-ready academic manuscript adhering to IEEE/ACM theoretical computer science guidelines. |
| QNT747 | Executive Strategic Direction & High-Tech Research Advisory | Theory | Translate specialized computer science research into actionable corporate technology roadmaps and strategic advisories. |
| QNT748 | Comprehensive Computer Science Portfolio & Reproducible Package | Practical | Package reproducible source code repositories, automated proof scripts, Dockerized testbeds and documentation in Quantum Computing Foundations. |
| QNT749 | MSc Quantum Computing Foundations Thesis Oral Defense & Public Academic Examination | Practical | Defend the novel scientific thesis and theoretical contributions before an academic examination committee. |
Recognized Bachelor Degree in computing, engineering, mathematics, quantitative discipline or relevant technical equivalence. English proficiency IELTS 6.5+ or equivalent.
Brookfield School of Computing is an independent private education institution in formation. Academic programmes, entry requirements, fees and awards are subject to institutional review and applicable Swiss legal regulations.