Introducing Quantum Engineering

Katherine Wright

Predictions indicate that introducing quantum coherence into quantum heat engines can significantly reduce the friction in these systems.

Carmelo R. Cartiere

Quantum computing (QC) represents the future of computing systems, but the tools for reasoning about the quantum model of computation, in which the laws obeyed are those on the quantum mechanical scale, are still a mix of linear algebra and Dirac notation; two subjects more suitable for physicists, rather than computer scientists and software engineers. On this ground, we believe it is possible to provide a more intuitive approach to thinking and writing about quantum computing systems, in order to simplify the design of quantum algorithms and the development of quantum software. In this paper, we move the first step in such direction, introducing a specification language as the tool to represent the operations of a quantum computer via axiomatic definitions, by adopting the same symbolisms and reasoning principles used by formal methods in software engineering. We name this approach formal quantum software engineering (F-QSE). This work assumes familiarity with the basic principles of quantum mechanics (QM), with the use of Zed (Z) which is a formal language of software engineering (SE), and with the notation and techniques of first-order logic (FOL) and functional programming (FP).

Christopher R. Monroe

Jung Ho Kim

Arnab Buragohain

Quantum computing has emerged as one of the most influential technological developments of the twenty-first century. While considerable attention has been devoted to hardware development, algorithm design, and industrial applications, comparatively less emphasis has been placed on the educational challenges associated with introducing quantum concepts to engineering students. Most available learning resources are designed primarily for physics students and often require prior knowledge of advanced quantum mechanics. Consequently, engineering students frequently encounter significant conceptual barriers when attempting to understand quantum computation. This chapter presents a mathematics-first educational framework aimed at simplifying the learning process for engineering students. Instead of introducing quantum theory through wave mechanics and advanced physical interpretations, the framework begins with familiar mathematical concepts such as vectors, matrices, probability, and linear transformations. The chapter demonstrates how core quantum concepts can be taught using accessible mathematical tools already encountered in undergraduate engineering curricula. A structured educational model is proposed and illustrated through practical examples, matrix operations, simple quantum gates, and engineering-oriented learning activities. The framework is intended to reduce cognitive barriers, improve conceptual understanding, and encourage interdisciplinary learning among future engineers. The chapter further discusses potential applications of quantum mathematics in thermal engineering, computational fluid dynamics, optimization, artificial intelligence, and advanced manufacturing.