Email: | matt_amy at sfu.ca |
Office: | TASC1 9429 |
Address: | School of Computing Science |
Simon Fraser University | |
8888 University Drive | |
Burnaby, British Columbia, Canada | |
V5A 1S6 |
I'm hiring graduate students on an ongoing basis. If you're interested in joining my research group, send me an email with your CV and transcript. PhD applicants should have prior research experience either with quantum computing or topics related to formal verification, programming languages or logic. MSc applicants should have an interest in at least one of those topics. Experience with functional programming is not required but is a plus!
Publications and preprints
Implementations of Roetteler's shifted bent function algorithm have in recent years been used to test and benchmark both classical simulation algorithms and quantum hardware. These circuits have many favorable properties, including a tunable amount of non-Clifford resources and a deterministic output, and moreover do not belong to any class of quantum circuits which is known to be efficiently simulable. We show that this family of circuits can in fact be simulated in polynomial time via symbolic path integrals. We do so by endowing symbolic sums with a confluent rewriting system and show that this rewriting system suffices to reduce the circuit's path integral to the hidden shift in polynomial-time. We hence resolve an open conjecture about the efficient simulability of this class of circuits.
We give a sound and complete equational theory for $3$-qubit quantum circuits over the Toffoli-Hadamard gate set $\{ X, CX, CCX, H\}$. That is, we introduce a collection of true equations among Toffoli-Hadamard circuits on three qubits that is sufficient to derive any other true equation between such circuits. To obtain this equational theory, we first consider circuits over the Toffoli-$K$ gate set $\{ X, CX, CCX, K\}$, where $K=H\otimes H$. The Toffoli-Hadamard and Toffoli-$K$ gate sets appear similar, but they are crucially different on exactly three qubits. Indeed, in this case, the former generates an infinite group of operators, while the latter generates the finite group of automorphisms of the well-known $E_8$ lattice. We take advantage of this fact, and of the theory of automorphism groups of lattices, to obtain a sound and complete collection of equations for Toffoli-$K$ circuits. We then extend this equational theory to one for Toffoli-Hadamard circuits by leveraging prior work of Li \textit{et al.} on Toffoli-Hadamard operators.
Let $n\geq 8$ be an integer divisible by 4. The Clifford-cyclotomic gate set $\mathcal{G}_n$ is the universal gate set obtained by extending the Clifford gates with the $z$-rotation $T_n = \mathrm{diag}(1,\zeta_n)$, where $\zeta_n$ is a primitive $n$-th root of unity. In this note, we show that, when $n$ is a power of 2, a multiqubit unitary matrix $U$ can be exactly represented by a circuit over $\mathcal{G}_n$ if and only if the entries of $U$ belong to the ring $\mathbb{Z}[1/2,\zeta_n]$. We moreover show that $\log(n)-2$ ancillas are always sufficient to construct a circuit for $U$. Our results generalize prior work to an infinite family of gate sets and show that the limitations that apply to single-qubit unitaries, for which the correspondence between Clifford-cyclotomic operators and matrices over $\mathbb{Z}[1/2,\zeta_n]$ fails for all but finitely many values of $n$, can be overcome through the use of ancillas.
In order for quantum computations to be done as efficiently as possible it is important to optimise the number of gates used in the underlying quantum circuits. In this paper we find that many gate optimisation problems for approximately universal quantum circuits are NP-hard. In particular, we show that optimising the T-count or T-depth in Clifford+T circuits, which are important metrics for the computational cost of executing fault-tolerant quantum computations, is NP-hard by reducing the problem to Boolean satisfiability. With a similar argument we show that optimising the number of CNOT gates or Hadamard gates in a Clifford+T circuit is also NP-hard. Again varying the same argument we also establish the hardness of optimising the number of Toffoli gates in a reversible classical circuit. We find an upper bound to the problems of T-count and Toffoli-count of $\text{NP}^{\text{NQP}}$. Finally, we also show that for any non-Clifford gate $G$ it is NP-hard to optimise the $G$-count over the Clifford+$G$ gate set, where we only have to match the target unitary within some small distance in the operator norm.
Vilmart recently gave a complete equational theory for the balanced sum-over-paths over Toffoli-Hadamard circuits, and by extension Clifford+$\mathrm{diag}(1, \zeta_{2^k})$ circuits. Their theory is based on the phase-free ZH-calculus which crucially omits the average rule of the full ZH-calculus, dis-allowing the local summation of amplitudes. Here we study the question of completeness in unbalanced path sums which naturally support local summation. We give a concrete syntax for the unbalanced sum-over-paths and show that, together with symbolic multilinear algebra and the interference rule, various formulations of the average and ortho rules of the ZH-calculus are sufficient to give complete equational theories over arbitrary rings and fields.
The matrices that can be exactly represented by a circuit over the Toffoli-Hadamard gate set are the orthogonal matrices of the form $M/\sqrt{2}{}^k$, where $M$ is an integer matrix and $k$ is a nonnegative integer. The exact synthesis problem for this gate set is the problem of constructing a circuit for a given such matrix. Existing methods produce circuits consisting of $O(2^n\log(n)k)$ gates, where $n$ is the dimension of the matrix. In this paper, we provide two improved synthesis methods. First, we show that a technique introduced by Kliuchnikov in 2013 for Clifford+$T$ circuits can be straightforwardly adapted to Toffoli-Hadamard circuits, reducing the complexity of the synthesized circuit from $O(2^n\log(n)k)$ to $O(n^2\log(n)k)$. Then, we present an alternative synthesis method of similarly improved cost, but whose application is restricted to circuits on no more than three qubits. Our results also apply to orthogonal matrices over the dyadic fractions, which correspond to circuits using the 2-qubit gate $H\otimes H$, rather than the usual single-qubit Hadamard gate $H$.
If a set $\mathbb{G}$ of quantum gates is countable, then the operators that can be exactly represented by a circuit over $\mathbb{G}$ form a strict subset of the collection of all unitary operators. When $\mathbb{G}$ is universal, one circumvents this limitation by resorting to repeated gate approximations: every occurrence of a gate which cannot be exactly represented over $\mathbb{G}$ is replaced by an approximating circuit. Here, we introduce catalytic embeddings, which provide an alternative to repeated gate approximations. With catalytic embeddings, approximations are relegated to the preparation of a fixed number of reusable resource states called catalysts. Because the catalysts only need to be prepared once, when catalytic embeddings exist they always produce shorter circuits, in the limit of increasing gate count and target precision. In the present paper, we lay the foundations of the theory of catalytic embeddings and we establish several of their structural properties. In addition, we provide methods to design catalytic embeddings, showing that their construction can be reduced to that of a single fixed matrix when the gates involved have entries in well-behaved rings of algebraic numbers. Finally, we showcase some concrete examples and applications. Notably, we show that catalytic embeddings generalize a technique previously used to implement the Quantum Fourier Transform over the Clifford+$T$ gate set with $O(n)$ gate approximations.
Path sums are a convenient symbolic formalism for quantum operations with applications to the simulation, optimization, and verification of quantum protocols. Unlike quantum circuits, path sums are not limited to unitary operations, but can express arbitrary linear ones. Two problems, therefore, naturally arise in the study of path sums: the unitarity problem and the extraction problem. The former is the problem of deciding whether a given path sum represents a unitary operator. The latter is the problem of constructing a quantum circuit, given a path sum promised to represent a unitary operator. We show that the unitarity problem is co-NP-hard in general, but that it is in P when restricted to Clifford path sums. We then provide an algorithm to synthesize a Clifford circuit from a unitary Clifford path sum. The circuits produced by our extraction algorithm are of the form C1HC2, where C1 and C2 are Hadamard-free circuits and H is a layer of Hadamard gates. We also provide a heuristic generalization of our extraction algorithm to arbitrary path sums. While this algorithm is not guaranteed to succeed, it often succeeds and typically produces natural looking circuits. Alongside applications to the optimization and decompilation of quantum circuits, we demonstrate the capability of our algorithm by synthesizing the standard quantum Fourier transform directly from a path sum.
The reversible implementation of classical functions accounts for the bulk of most known quantum algorithms. As a result, a number of reversible circuit constructions over the Clifford+$T$ gate set have been developed in recent years which use both the state and phase spaces, or $X$ and $Z$ bases, to reduce circuit costs beyond what is possible at the strictly classical level. We study and generalize two particular classes of these constructions: relative phase circuits, including Giles and Selinger's multiply-controlled $iX$ gates and Maslov's $4$ qubit Toffoli gate, and measurement-assisted circuits, including Jones' Toffoli gate and Gidney's temporary logical-AND. In doing so, we introduce general methods for implementing classical functions up to phase and for measurement-assisted termination of temporary values. We then apply these techniques to find novel $T$-count efficient constructions of some classical functions in space-constrained regimes, notably multiply-controlled Toffoli gates and temporary products.
We describe 'staq', a full-stack quantum processing toolkit written in standard C++. 'staq' is a quantum compiler toolkit, comprising of tools that range from quantum optimizers and translators to physical mappers for quantum devices with restricted connectives. The design of 'staq' is inspired from the UNIX philosophy of "less is more", i.e. 'staq' achieves complex functionality via combining (piping) small tools, each of which performs a single task using the most advanced current state-of-the-art methods. We also provide a set of illustrative benchmarks.
Kliuchnikov, Maslov, and Mosca proved in 2012 that a $2 \times 2$ unitary matrix $V$ can be exactly represented by a single-qubit Clifford+$T$ circuit if and only if the entries of $V$ belong to the ring $\mathbb{Z}\left[1/\sqrt{2}, i\right]$. Later that year, Giles and Selinger showed that the same restriction applies to matrices that can be exactly represented by a multi-qubit Clifford+$T$ circuit. These number-theoretic characterizations shed new light upon the structure of Clifford+$T$ circuits and led to remarkable developments in the field of quantum compiling. In the present paper, we provide number-theoretic characterizations for certain restricted Clifford+$T$ circuits by considering unitary matrices over subrings of $\mathbb{Z}\left[1/\sqrt{2}, i\right]$. We focus on the subrings $\mathbb{Z}\left[1/2\right]$, $\mathbb{Z}\left[1/\sqrt{2}\right]$, $\mathbb{Z}\left[1/\sqrt{\mbox{-}2}\right]$, and $\mathbb{Z}\left[1/2,i\right]$, and we prove that unitary matrices with entries in these rings correspond to circuits over well-known universal gate sets. In each case, the desired gate set is obtained by extending the set of classical reversible gates $\{X,CX,CCX\}$ with an analogue of the Hadamard gate and an optional phase gate.
One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming allows the programmer to write entire families of circuits simultaneously, an ability which is of particular importance in the context of quantum computing as algorithms frequently use arithmetic over non-standard word lengths. In this work, we introduce metaQASM, a typed extension of the openQASM language supporting the metaprogramming of circuit families. Our language and type system, built around a lightweight implementation of sized types , supports subtyping over register sizes and is moreover type-safe. In particular, we prove that our system is strongly normalizing, and as such any well-typed metaQASM program can be statically unrolled into a finite circuit.
The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with an emphasis on the development of formal models for such purposes. We also present software implementations of these methods, which together form a full stack of tools for the design of optimized, formally verified quantum oracles. On the optimization side, we study methods for the optimization of $R_Z$ and CNOT gates in Clifford+$R_Z$ circuits. We develop a general, efficient optimization algorithm called phase folding , which reduces the number of $R_Z$ gates without increasing any metrics by computing its phase polynomial . This algorithm can further be combined with synthesis techniques for CNOT-dihedral operators to optimize circuits with respect to particular costs. We then study the optimal synthesis problem for CNOT-dihedral operators from the perspectives of $R_Z$ and CNOT gate optimization. In the case of $R_Z$ gate optimization, we show that the optimal synthesis problem is polynomial-time equivalent to minimum-distance decoding in certain Reed-Muller codes. For the CNOT optimization problem, we show that the optimal synthesis problem is at least as hard as a combinatorial problem related to Gray codes. In both cases, we develop heuristics for the optimal synthesis problem, which together with phase folding reduces $T$ counts by 42% and CNOT counts by 22% across a suite of real-world benchmarks. From the perspective of formal verification, we make two contributions. The first is the development of a formal model of quantum circuits with ancillary bits based on the Feynman path integral, along with a concrete verification algorithm. The path integral model, with some syntactic sugar, further doubles as a natural specification language for quantum computations. Our experiments show some practical circuits with up to hundreds of qubits can be efficiently verified. Our second contribution is a formally verified, optimizing compiler for reversible circuits. The compiler compiles a classical, irreversible language to reversible circuits, with a formal, machine-checked proof of correctness written in the proof assistant F$^\star$. The compiler is structured as a partial evaluator, allowing verification to be carried out significantly faster than previous results.
In this paper, we study the close relationship between Reed-Muller codes and single-qubit phase gates from the perspective of $T$-count optimization. We prove that minimizing the number of $T$ gates in an $n$-qubit quantum circuit over CNOT and $T$, together with the Clifford group powers of $T$, corresponds to finding a minimum distance decoding of a length $2^n-1$ binary vector in the order $n-4$ punctured Reed-Muller code. Moreover, we show that the problems are polynomially equivalent in the length of the code. As a consequence, we derive an algorithm for the optimization of $T$-count in quantum circuits based on Reed-Muller decoders, along with a new upper bound of $O(n^2)$ on the number of $T$ gates required to implement an $n$-qubit unitary over CNOT and $T$ gates. We further generalize this result to show that minimizing small angle rotations corresponds to decoding lower order binary Reed-Muller codes. In particular, we show that minimizing the number of $R_Z(2\pi/m)$ gates for any integer $m$ is equivalent to minimum distance decoding in $\mathcal{RM}(n - k - 1, n)^*$, where $k$ is the highest power of $2$ dividing $m$. Note: Chapter 5 of Formal Methods in Quantum Circuit Design contains an updated presentation.
We introduce Strawberry Fields, an open-source quantum programming architecture for light-based quantum computers, and detail its key features. Built in Python, Strawberry Fields is a full-stack library for design, simulation, optimization, and quantum machine learning of continuous-variable circuits. The platform consists of three main components: (i) an API for quantum programming based on an easy-to-use language named Blackbird; (ii) a suite of three virtual quantum computer backends, built in NumPy and TensorFlow, each targeting specialized uses; and (iii) an engine which can compile Blackbird programs on various backends, including the three built-in simulators, and -- in the near future -- photonic quantum information processors. The library also contains examples of several paradigmatic algorithms, including teleportation, (Gaussian) boson sampling, instantaneous quantum polynomial, Hamiltonian simulation, and variational quantum circuit optimization.
We introduce a framework for the formal specification and verification of quantum circuits based on the Feynman path integral. Our formalism, built around exponential sums of polynomial functions, provides a structured and natural way of specifying quantum operations, particularly for quantum implementations of classical functions. Verification of circuits over all levels of the Clifford hierarchy with respect to either a specification or reference circuit is enabled by a novel rewrite system for exponential sums with free variables. Our algorithm is further shown to give a polynomial-time decision procedure for checking the equivalence of Clifford group circuits. We evaluate our methods by performing automated verification of optimized Clifford+$T$ circuits with up to 100 qubits and thousands of $T$ gates, as well as the functional verification of quantum algorithms using hundreds of qubits. Our experiments culminate in the automated verification of the Hidden Shift algorithm for a class of Boolean functions in a fraction of the time it has taken recent algorithms to simulate.
We study the problem of CNOT-optimal quantum circuit synthesis over gate sets consisting of CNOT and $Z$-basis rotations of arbitrary angles. We show that the circuit-polynomial correspondence relates such circuits to Fourier expansions of pseudo-Boolean functions, and that for certain classes of functions this expansion uniquely determines the minimum CNOT cost of an implementation. As a corollary we prove that CNOT minimization over CNOT and phase gates is at least as hard as synthesizing a CNOT-optimal circuit computing a set of parities of its inputs. We then show that this problem is NP-complete for two restricted cases where all CNOT gates are required to have the same target, and where the circuit inputs are encoded in a larger state space. The latter case has applications to CNOT optimization over more general Clifford+$T$ circuits. We further present an efficient heuristic algorithm for synthesizing circuits over CNOT and $Z$-basis rotations with small CNOT cost. Our experiments show a 23% reduction of CNOT gates on average across a suite of Clifford+$T$ benchmark circuits, with a maximum reduction of 43%.
We give a finite presentation by generators and relations of the unitary operators expressible over the {CNOT, $T$} gate set, also known as CNOT-dihedral operators. To this end, we introduce a notion of normal form for CNOT-dihedral circuits and prove that every CNOT-dihedral operator admits a unique normal form. Moreover, we show that in the presence of certain structural rules only finitely many circuit identities are required to reduce an arbitrary CNOT-dihedral circuit to its normal form. By appropriately restricting our relations, we obtain a finite presentation of unitary operators expressible over the {CNOT, $T$} gate set as a corollary.
The generation of reversible circuits from high-level code is an important problem in several application domains, including low-power electronics and quantum computing. Existing tools compile and optimize reversible circuits for various metrics, such as the overall circuit size or the total amount of space required to implement a given function reversibly. However, little effort has been spent on verifying the correctness of the results, an issue of particular importance in quantum computing. There, compilation allows not only mapping to hardware, but also the estimation of resources required to implement a given quantum algorithm, a process that is crucial for identifying which algorithms will outperform their classical counterparts. We present a reversible circuit compiler called ReVerC, which has been formally verified in F$^\star$ and compiles circuits that operate correctly with respect to the input program. Our compiler compiles the REVS language [ Parent, Roetteler & Svore 2015 ] to combinational reversible circuits with as few ancillary bits as possible, and provably cleans temporary values.
We investigate the cost of Grover's quantum search algorithm when used in the context of pre-image attacks on the SHA-2 and SHA-3 families of hash functions. Our cost model assumes that the attack is run on a surface code based fault-tolerant quantum computer. Our estimates rely on a time-area metric that costs the number of logical qubits times the depth of the circuit in units of surface code cycles. As a surface code cycle involves a significant classical processing stage, our cost estimates allow for crude, but direct, comparisons of classical and quantum algorithms. We exhibit a circuit for a pre-image attack on SHA-256 that is approximately $2^{153.8}$ surface code cycles deep and requires approximately $2^{12.6}$ logical qubits. This yields an overall cost of $2^{166.4}$ logical-qubit-cycles. Likewise we exhibit a SHA3-256 circuit that is approximately $2^{146.5}$ surface code cycles deep and requires approximately $2^{20}$ logical qubits for a total cost of, again, $2^{166.5}$ logical-qubit-cycles. Both attacks require on the order of $2^{128}$ queries in a quantum black-box model, hence our results suggest that executing these attacks may be as much as $275$ billion times more expensive than one would expect from the simple query analysis.
The Clifford+$T$ quantum gate library has attracted much interest in the design of quantum circuits, particularly since the contained operations can be implemented in a fault-tolerant manner. Since fault tolerant implementations of the $T$ gate have very high latency, synthesis and optimization are aiming at minimizing the number of $T$ stages, referred to as the $T$-depth. In this paper, we present an approach to map mixed polarity multiple controlled Toffoli gates into Clifford+$T$ quantum circuits. Our approach is based on the multiple control Toffoli mapping algorithms proposed by Barenco et al. , which are given $T$-depth optimized Clifford+$T$ translations. Experiments show that our approach leads to a significant $T$-depth reduction of 54% on average.
We provide an extensive overview of upper bounds on the number of gates needed in reversible and quantum circuits. As reversible gate libraries we consider single-target gates, mixed-polarity multiple-controlled Toffoli gates, and the set consisting of the NOT, the CNOT, and the two-controlled Toffoli gate. As quantum gate libraries we consider the semi-classical NCV library (consisting of NOT, CNOT, and the square-root of NOT called $V$) as well as the universal and commonly used Clifford+$T$ gate library. Besides a summary of known bounds, the paper provides several new and tighter bounds. Several synthesis approaches and mapping schemes were used to calculate the bounds.
Most work in quantum circuit optimization has been performed in isolation from the results of quantum fault-tolerance. Here we present a polynomial-time algorithm for optimizing quantum circuits that takes the actual implementation of fault-tolerant logical gates into consideration. Our algorithm re-synthesizes quantum circuits composed of Clifford group and $T$ gates, the latter being typically the most costly gate in fault-tolerant models, e.g., those based on the Steane or surface codes, with the purpose of minimizing both $T$-count and $T$-depth. A major feature of the algorithm is the ability to re-synthesize circuits with ancillae at effectively no additional cost, allowing space-time trade-offs to be easily explored. The tested benchmarks show up to 65.7% reduction in $T$-count and up to 87.6% reduction in $T$-depth without ancillae, or 99.7% reduction in $T$-depth using ancillae.
We present an algorithm for computing depth-optimal decompositions of logical operations, leveraging a meet-in-the-middle technique to provide a significant speed-up over simple brute force algorithms. As an illustration of our method we implemented this algorithm and found factorizations of the commonly used quantum logical operations into elementary gates in the Clifford$+T$ set. In particular, we report a decomposition of the Toffoli gate over the set of Clifford and $T$ gates. Our decomposition achieves a total $T$- depth of 3, thereby providing a 40% reduction over the previously best known decomposition for the Toffoli gate. Due to the size of the search space the algorithm is only practical for small parameters, such as the number of qubits, and the number of gates in an optimal implementation.
- Complete equational theories for the sum-over-paths with unbalanced amplitudes . Quantum Physics and Logic (QPL), Paris, 2023. [ slides ]
- Symbolic synthesis of Clifford circuits and beyond . Quantum Physics and Logic (QPL), Oxford, 2022. [ video / slides ]
- Symbolic representation of quantum computations . Workshop on Algebraic Structures in Quantum Computation, Vancouver, 2022. Invited talk . [ slides ]
- Advanced oracle construction with the phase/state duality . Bristol Quantum Information Theory Seminar, Virtual, 2022. [ slides ]
- Quantum computation and compilation . SFU CS Undergraduate Research Symposium, Burnaby, 2022. [ slides ]
- Formal Methods of Quantum Program Analysis . APS March Meeting, Chicago, USA, 2022. Invited talk . [ slides ]
- Symbolic Analysis of Quantum Programs . IBM Compiler Seminar, Virtual, 2021. [ slides ]
- Type Systems for Quantum Metaprogramming . Reversible Computation (RC), Lausanne, Switzerland 2019. [ slides ]
- On the CNOT-complexity of CNOT-PHASE circuits . Theory of Quantum Computation, Communication and Cryptography (TQC), Sydney, Australia 2018. [ slides ]
- Towards large-scale verification of universal quantum circuits . Quantum Physics and Logic (QPL), Halifax, Canada 2018. [ slides ]
- Verification in Quantum Computing . Design Automation for Quantum Computers, Irvine, 2017. Invited talk . [ slides ]
- Verified compilation of space-efficient reversible circuits . Computer Aided Verification (CAV), Heidelberg, Germany 2017. [ video / slides ]
- Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3 . Selected Areas in Cryptography (SAC), St. Johns, Canada 2016. [ slides ]
- T-count optimization and Reed-Muller codes . BIRS workshop on Quantum Computer Science, Banff, Canada 2016. [ video / slides ]
- CMPT 476/981 - Introduction to Quantum Algorithms . Spring 2024.
- CMPT 409/981 - Quantum Circuits and Compilation . Fall 2022.
- CMPT 120 - Introduction to Computing Science and Programming I . Summer 2022.
- CSCI 3901 - Software Development Concepts . Winter 2021 (Dalhousie).
- Verified compilation of reversible circuits . With M. Roetteler and K. Svore . US Patent 10,664,249.
- Decoding-based method for quantum circuit optimization . With M. Mosca . US Patent 10,650,178.
Academic service
- Co-organizer, Programming Languages for Quantum Computing (PLanQC) 2025.
- PC member, Static Analysis Symposium (SAS) 2024 .
- PC member, IEEE International Conference on Quantum Computing and Engineering (QCE) 2024 .
- PC member, Workshop on Quantum Software (WQS) 2024 .
- Co-organizer & PC member, Programming Languages for Quantum Computing (PLanQC) 2024 .
- PC member, IEEE International Conference on Quantum Computing and Engineering (QCE) 2023 .
- Co-organizer & PC member, Programming Languages for Quantum Computing (PLanQC) 2022 .
- PC member, IEEE International Conference on Quantum Computing and Engineering (QCE) 2022 .
- PC member, Design Automation Conference (DAC) 2022 .
- PC member, IEEE International Conference on Quantum Computing and Engineering (QCE) 2021 .
- Co-organizer & PC chair, Programming Languages for Quantum Computing (PLanQC) 2021 .
- PC member, Design Automation Conference (DAC) 2021 .
- PC member, Design, Automation and Test in Europe (DATE) 2021 .
- PC member, Programming Languages for Quantum Computing (PLanQC) 2020 .
what I'm listening to... ...or what I'm spinning some other music
Would industrial/professional/work experience help my application?
Are gre scores required, my undergraduate degree is not in computing or computer science, should i still apply, exemption for english language requirement.
- Popular Items
- Latest Items
- 28 February 2020 11:44 AM
- Admissions - PhD & MSc
- Graduate - Thesis Based
- Professional Experience
- Prospective Applicant
- 28 February 2020 11:57 AM
- 28 February 2020 11:23 AM
- Other discipline
- Undergraduate
- 18 November 2020 3:00 PM
- Application Procedures And Outcomes
- Cybersecurity
- Graduate-Professional Master's Program
The admission requirement speaks of needing a degree from "computing science or related field". How are you defining "related fields"?
The more overlap there is between the courses you have already taken and the courses offered by Computing Science, the better chance you have of being considered a qualified applicant.
- 28 February 2020 11:41 AM
- 4 Admissions - PhD & MSc
- 1 Application Procedures And Outcomes
Prospective Students
Current graduate students.
- Jiatang Zhou , PhD (BSc, SFU), 2024/05 - present.
- Ziyi Yan , Thesis MSc → PhD, (BEng, Huazhong University of Science and Technology), 2021/09 - present.
- Tianxun Hu , PhD, (MSc, University of Pittsburgh), 2021/09 - present.
- Kaisong Huang , PhD (MMath., University of Waterloo) 2020/09 - present. On the job market!
Visiting Students/Collaborators
- Ge Shi, Thesis MSc (BSc, SFU/ZJU DDP), 2021/05 - 2023/04. Next: Huawei Canada Research Centre (Vancouver)
- Yuliang (George) He, Thesis MSc (BSc, SFU), 2021/09 - 2023/04. Next: Huawei Canada Research Centre (Toronto)
- Jianqiu Zhang , Thesis MSc (BSc, Northeastern University, China), 2019/09 - 2021/08. Next: Software Engineer at ByteDance.
- Yongjun He , Thesis MSc (BSc, Nanjing University), 2018/09 - 2021/05. Next: PhD student at ETH Zurich.
- Baotong Lu (CUHK PhD student, with Eric Lo ), 2019/05 - 2023/12. Mitacs Globalink Research Award . Next: Researcher at Microsoft Research Asia.
- Chaichon Wongkham (CUHK MPhil student, with Eric Lo ), 2023/03 - 2023/06. Mitacs Globalink Research Award.
- Jonghyeok Park (SKKU PhD student, with Sang-Won Lee ), 2019/02 - present. Mitacs- NRF Globalink Research Award . Next: Assistant Professor at Korea University (South Korea).
- Mijin An (SKKU PhD student, with Sang-Won Lee ), 2022/01 - 2022/12. Next: SAP Labs Korea.
- Jiatang Zhou (SFU), 2022/10 - 2024/04. SFU VPR USRA . Now a PhD student with us!
- Caleb Tong (SFU SoSy Capstone), 2023/04 - 2023/12.
- Yue Deng (BUCT), 2023/07 - 2023/10. Mitacs Globalink Research Intern.
- Bhumit Attarde (Ramrao Adik Institute of Technology), 2022/06 - 2022/08. Mitacs Globalink Research Intern.
- Yuan Meng (UESTC), 2021/07 - 2021/10. Mitacs Globalink Research Intern.
- Duo Lu (SFU SoSy Capstone), 2021/01 - 2022/06. Best Poster Award at CS Undergraduate Research Symposium . Next: PhD Student at Brown University.
- George He, 2021/01 - 2021/08. NSERC Undergraduate Student Research Award (NSERC USRA) . Now a Thesis MSc student with us!
- Darien Imai (SFU SoSy Capstone), 2021/01 - 2021/08. Next: NetApp.
- Ge Shi (SFU/ZJU Dual-Degree Program), 2019/07 - 2021/04. SFU VPR USRA . Now a Thesis MSc student with us!
- Jiacheng Lu (SFU/ZJU Dual-Degree Program), 2019/09 - 2020/12. Next: Software Engineer at AMD.
- Xiangpeng Hao (SFU/ZJU Dual-Degree Program), 2018/12 - 2020/05. SFU VPR USRA . Next: PhD student at University of Wisconsin, Madison.
- Yiran Shu (SFU/ZJU Dual-Degree Program), 2019/05 - 2019/12. SFU Big Data USRA .
Universities
Simon Fraser University
MSc in Computing Science
Simon Fraser University, British Columbia
Faculty of Applied Sciences
Help Me Decide
Pre-requisites
- Discussions
About Course
Program Duration
Computing Technology Mct
Degree Type
Course Credits
- A popular choice for international students with a diverse community
- Learn from the best faculty members and become their research assistants
- High-end labs to facilitate research work
- Excellent placement programs after course completion
Official fee page
CA$6,321 / year
CA$12,642 / 24 months
5000+ Students
Availed education loan
Loan amount sanctioned
Assistance for loan process
Application Fee
Minimum english score required
- Online Application
- Application Fees
- Academic Transcripts
- CV or Resume
- Three Letters of Recommendation
- Statement of Purpose
- English Language Proficiency
Find all the GRE Waived-off courses by applying a quick filter
Apply GRE filter in this university
Find GRE-waivers across all universities
Yocketers applied
Yocketers admitted
Yocketers interested
Average profile of admits
What scores usually get you an admit?
Yocketer profiles
Nanda Kishore
Archana Sekar
Farid Mohammad
Winter 2024
Yocket’s Counsel
Meet our counsellors.
We got a team of 50+ experienced counsellors ready to help you!
Related Discussion for the Universities
Ask, post and discuss!
Have a question? Ask and discuss with your fellow aspirants!
2 years ago
- Library Catalogue
Finding SFU theses and projects
On this page, digital theses and projects, find theses and projects by department or faculty, find theses by topic and department/faculty, find theses by topic and degree type.
- Using Summit - SFU's Institutional Research Repository
Using Dissertations and Theses Abstracts and Index
The Bennett Library (SFU Burnaby) has print, microform, and web-based copies of SFU PhD and Masters theses, final projects, and extended essays for programs that are required or have chosen to submit them to the Library.
Undergraduate honours theses are not available in the Library. Some departments (e.g. English) keep bound honours essays in the department office. In some cases, the only possibility for finding an honours essay may be to contact the author or the faculty supervisor.
Digital theses and projects are available:
- To locate a newly submitted thesis or project (awaiting auditing), search the Thesis Registration System .
- To locate SFU theses and projects, search SFU's Research Repository, Summit .
- For theses between 1998 and 2002 search either Dissertations and Theses Abstracts and Index or Theses Canada .
- Go to the SFU Library Catalogue .
- Enter Theses followed by the name of the department, school, or faculty in quotation marks.
Theses Department of [Department name] e.g. Theses "Department of Psychology"
Theses Faculty of [Faculty name] e.g. Theses "Faculty of Education"
- Use Theses rather than Thesis .
- Use Faculty only for faculties without departments (eg. Business Administration, Education, Health Sciences).
- Search by Keyword .
- Type in the the department or faculty.
- Add a topic word :
Theses "Department of [Department name]" and [Topic word] e.g. Theses Department of Geography and Tourism
Theses "Faculty of [Faculty name]" and [Topic word] e.g. Theses "Faculty of Business Administration" and Bonds
- Use the asterisk (*) to search for all forms of a word e.g. femini* will find feminist, feminism, feminine, etc.
- To find Master's theses , type:
Thesis [Degree type] and [Topic word] e.g. Thesis M A and femini* e.g. Thesis M Sc and prosthe*
To find Doctoral theses , type:
Thesis [Degree type] and Simon Fraser and [Topic word] e.g. Thesis Ph D and Simon Fraser and femini*
- Use the asterisk (*) to search for all forms of a word e.g. femini* will find feminist, feminism, feminine, etc. e.g. prosthe* will find prosthetic, prostheses, prosthesis
Using Summit - SFU's Institutional Research Repository
- Visit the Summit homepage
- Facets include by author, resource type (thesis, essay, etc.), collection and more.
- Alternatively you can browse the Collections by Theses, Departments and Schools, or SFU Community.
- Faculty publications are also available.
- Summit can be accessed from the Library website under Help > Publish.
- Dissertations and Theses Abstracts and Index is a searchable database containing both citations and full text of millions of theses.
- We have created a subset of SFU theses within Dissertations and Theses Abstracts and Index which you can search.
- Type a topic word, eg. prosthetics , in the search bar.
- Use the available options to focus your search, eg. publication date, doctoral dissertation, advisor, etc.
Finding an SFU MBA Research Project
Finding Theses/Projects from other Universities
Simon Fraser University Engaging the World
Computing science.
- A-Z directory
SFU's New Visual & Interactive Computing Institute Aims to Transform Tech Landscapes
learn more →
SFU professor leads the expansion of self-driving car startup Wayve to Vancouver
SFU Researchers Develop AI That Can Understand Light in Photographs
CS50TH ANNIVERSARY
Prospective students.
current students
Meet our faculty.
RANKINGS & RECOGNITION
PARTNER WITH US
We’re an established leader in computing science
Our researchers are leading new discoveries
Explore avenues to engage with students and faculty
Recent News
- AI-Driven Breakthroughs in Cells Study: SFU-UBC Collaboration Introduces "MCS-DETECT" for Advancements in Super-Resolution Microscopy
- From Concept to Culture: Minh Le Reflects on 20 Years of Counter-Strike
- SFU COMPUTING SCIENCE GRADUATE STUDENTS RECEIVE PRESTIGIOUS SCHOLARSHIP AWARDS
- Meet our June 2023 Graduands
- Computing Science graduate uses remote sensing to assess forest fire trends in B.C.
View more >
ANNOUNCEMENTS
Current Job Opportunities
IMAGES
VIDEO
COMMENTS
Admission to the graduate programs in computer science is competitive: only the best qualified applicants are offered a seat. Therefore, it is imperative that students familiarize themselves with the admission requirements in order to ensure they submit a strong application. PhD. MSc (Thesis)
The master of science (MSc) in computing science is a research-intensive program that has a primary emphasis on the MSc thesis. The program provides an environment for education in theoretical and applied computer science. Through training in formal coursework and hands-on research in areas such as artificial intelligence, computer systems and networks, computer graphics, and data mining ...
The Master of Science (MSc) in Computing Science is a research-intensive program that has a primary emphasis on the MSc thesis. The program provides an environment for education in theoretical and applied Computer Science. Through training in formal coursework and hands-on research in areas such as artificial intelligence, computer systems and ...
Is it me or does SFU not offer a non-thesis masters program, I am unable to find it. Coins. 0 coins. Premium Powerups Explore Gaming ... Thoughts on MSc in Computer Science (Thesis / Non-Thesis) ? See more posts like this in r/simonfraser. subscribers . Top Posts Reddit . reReddit: Top posts of November 27, 2020.
Intellectual and academic freedom, together with an open and inclusive community, are the foundations of Simon Fraser University. In the School of Computing Science, academic and research excellence is highly valued. We encourage students to embrace risks and take bold initiatives in their academic and research pursuit. In recent years, the ...
The more overlap there is between the courses you have already taken and the courses offered by Computing Science, the better chance you have of being considered a qualified applicant. 28 February 2020 11:41 AM. Admissions - PhD & MSc. Admissions. Prospective Applicant.
The School of Computing Science follows SFU's tradition of excellence in teaching and research. Our research is world-renowned, and our students graduate with advanced knowledge in areas such as networks, multimedia, healthcare and telecommunications. Many graduates apply their broad-based skills as entrepreneurs and business leaders in their ...
The Simon Fraser University MS in CS is a 16-20 months duration program on a full-time basis; This program is designed to equip you with advanced knowledge and skills in various areas of computer science; This program, initiated in 2014, focuses on practical training, allowing you to apply their learning to real-world challenges
Address: School of Computing Science. Simon Fraser University. 8888 University Drive. Burnaby, British Columbia, Canada. V5A 1S6. I'm hiring graduate students on an ongoing basis. If you're interested in joining my research group, send me an email with your CV and transcript. PhD applicants should have prior research experience either with ...
The admission requirement speaks of needing a degree from "computing science or related field". How are you defining "related fields"? The more overlap there is between the courses you have already taken and the courses offered by Computing Science, the better chance you have of being considered a qualified applicant. 28 February 2020 11:41 AM
The School of Computing Science offers programs leading to the M.Sc. and PhD degrees (see degree requirements). Graduate courses are offered in three terms/semesters (fall, spring, and summer) per year. PhD and M.Sc. thesis students are research-oriented and they are provided with financial support by the School, pending satisfactory progress.
The Computing Science program from Simon Fraser University, provides an environment for education in theoretical and applied Computer Science. Through training in formal coursework and hands-on research in areas such as artificial intelligence, computer systems and networks, computer graphics, and data mining, graduates will be capable of ...
Hi, I was wondering if SFU offers MSc in Computer science with the course based option. The way I read it on their website 4, it said i would have to apply for the thesis based option first and then change it to project or course based.
Author: Chen, Si. KLEEWT: A parallel symbolic execution engine. 2023-12-15. Author: Deilami, AmirMohammad. Translating anti-vertex in cypher for graph databases and graph mining systems. 2023-12-12. Author: Ahmad, Saad. Investigating computing science students' and educators' initial perceptions of ChatGPT in higher education. 2023-12-08.
SFU VPR USRA. Now a Thesis MSc student with us! Jiacheng Lu (SFU/ZJU Dual-Degree Program), 2019/09 - 2020/12. Next: Software Engineer at AMD. Xiangpeng Hao (SFU/ZJU Dual-Degree Program), 2018/12 - 2020/05. SFU VPR USRA. Next: PhD student at University of Wisconsin, Madison. Yiran Shu (SFU/ZJU Dual-Degree Program), 2019/05 - 2019/12. SFU Big ...
MSc in Computing Science. Simon Fraser University, British Columbia. Faculty of Applied Sciences. Join Group. Help Me Decide. About; Costs; Admissions; Pre-requisites; ... MSc in Computing Science at Simon Fraser University Burnaby 2024 - 2025: Check Rankings, Course Fees, Eligibility, Scholarships, Application Deadline for Computing Science at ...
Burnaby is expensive, but cheaper than UBC/Kitsilano in Vancouver. SFU is on top of a mountain, so if you don't live on campus expect at least a 30 minute commute by bus up the mountain (fortunately your tuition will pay for a upass which gives free public transit). Skytrain can get you around the city pretty well.
Applications for Fall 2025 opens on October 1, 2024. The School of Computing Science offers a full-time master's program in professional computer science allowing students to take courses in areas like data science, data engineering, computer vision, computer graphics, deep learning, computer security, software security and more.
Digital theses and projects are available: To locate a newly submitted thesis or project (awaiting auditing), search the Thesis Registration System. To locate SFU theses and projects, search SFU's Research Repository, Summit. For theses between 1998 and 2002 search either Dissertations and Theses Abstracts and Index or Theses Canada.
AI-Driven Breakthroughs in Cells Study: SFU-UBC Collaboration Introduces "MCS-DETECT" for Advancements in Super-Resolution Microscopy. From Concept to Culture: Minh Le Reflects on 20 Years of Counter-Strike. SFU COMPUTING SCIENCE GRADUATE STUDENTS RECEIVE PRESTIGIOUS SCHOLARSHIP AWARDS. Meet our June 2023 Graduands.
Hi everyone, I am applying for an MSc thesis in Computing Science at SFU. I am finishing my application and I am kinda nervous at the moment now because I am not familiar with progress in Canada. This is not a bragging post and I wonder what my chance is with my stats: My GPA is 3.74 / 4.0 at a university in the US.
Hi, i dont want todo thesis based course, so i saw that course based Masters in CS has been removed by SFU and now there is Master of Science in Professional Computer Science program. So is there anyone who is doing this prgram from SFU or knows someone who is doing it. I would like to hear the experience and how good is the program. Hi, i dont ...
SFUgradstudies • 21 min. ago. CGPA is only one factor that they look at when you apply to a graduate program. Your letters of reference, letter of intent and experience really do make a difference. It's best to connect with the Graduate Program Assistant for the program. They'll be able to tell you how competitive the program is, as well as ...