# Birkhoff-von Neumann Prize

The Birkhoff-von Neumann Prize prize is awarded once every two years during the award ceremony held at the bi-annual conference of the International Quantum Structures Association (IQSA). The candidates for the prize are selected by the IQSA prize committee for their outstanding scientific achievements in the field of quantum structures and the impact their work has on the research in quantum logic and quantum foundations.

The "Birkhoff-von Neumann Prize 2016" was awarded to Dr. Markus Mueller and Dr. Paolo Perinotti. The Award Ceremony of the "Birkhoff-von Neumann Prize 2016" took place on Thursday 14 July, during the 13th Biennial Meeting of the International Quantum Structures Association in Leicester, United Kingdom.

**Winners for 2016**

Markus Mueller holds a Canada Research Chair in the "Foundations of Physics" at the University of Western Ontario, where he holds a joint appointment in the departments of Applied Mathematics and Philosophy. He received his doctorate from TU Berlin in 2007 and held post-doctoral positions at the Max Plank Institute, the University of Potsdam, and the Perimeter Institute, as well as a position as junior research group leader at the University of Heidelberg. Dr. Mueller has established himself, in a remarkably short time, as one of the leading figures working at the intersection of quantum information theory and the foundations of quantum theory. His work includes one of the first information-theoretic reconstructions of finite-dimensional quantum theory, the Mueller-Ududec Theorem on the self-duality of finite-dimensional state spaces, the undecidability of quantum measurement results, an operational account of the origin of spacetime symmetries, results on non-equilibrium quantum thermodynamics, and a characterization of quantum theory in terms of (the absence of) higher-order interference.

Paolo Perinotti is assistant professor of "Theoretical Physics of Information" at the University of Pavia (Italy). In his rich research-activity he has obtained some original and outstanding results that concern in particular: 1) the formulation of quantum theory from information-theoretical operational axioms; 2) the development and application of "quantum comb theory" for the representation of general quantum processes, with or without definite causal structures; 3) the derivation of the relativistic quantum equations of Weyl, Dirac and Maxwell from the structure of quantum cellular automata, and the study of the emergence of their dynamical and symmetry properties; 5) the formulation of fermionic quantum theory as an operational probabilistic theory and its application to the study of fermionic entanglement.

**Winners for 2014**

Weihua Liu is a PhD student at the Department of Mathematics of the University of California, Berkeley (US). His contributions include some very interesting and original results that concern the existence of the supremum of two elements in quantum effect algebras. He has also proved two nice representation theorems for the supremum and infimum of bounded quantum observables.

Anna Jencova is a researcher at the Mathematical Institute of the Slovak Academy of Sciences, Bratislava (Slovakia). In her rich scientific activity she has obtained some highly significant and original results that concern non-commutative extensions of information geometry. More recently she has investigated some important problems of statistical decision theory for general quantum objects.

**Winners for 2012**

Chris Heunen (University of Oxford) - His research work from a few years ago, mainly in the past couple of years, is quantitatively impressive, very close to the core themes of IQSA, and of high quality. It includes a variety of problems and results deserving great appreciation: in particular, the study of the embedding of axiomatically defined Hilbert categories into Hilbert spaces, the study of how algebraic quantum mechanics can be related to topos theory so as to construct new foundations for quantum logic, the analysis of quantum logic from the perspective of categorial logic.

Sonja Smets (University of Amsterdam - Institut for Logic, Language and Computation) - For her studies on quantum structures and related epistemic semantics which gave rise to a number of remarkable original results. In particular, new light emerged on - a dynamical interpretation of quantum-logical connectives, - a link between quantum logic and quantum computation, - a logical analysis of classical and quantum correlations - an epistemic-logic view of quantum entanglement, - a reduction of the complexity of the Soler-Mayet axiomatization.