Ph.d. forsvar af Andreas Maniotis
Den 14. december kl. 13.15 forsvarer Andreas Maniotis sin ph.d. afhandling med titlen "A Representation-Theoretic Approach to Reversible Computation with Applications".
Reversible computing is a sub-discipline of computer science that helps to understand the foundations of the interplay between physics, algebra, and logic in the context of computation.
Its subjects of study are computational devices and abstract models of computation that satisfy the constraint of information conservation.
Such machine models, which are known as reversible models of computation, have been examined both from a theoretical perspective and from an engineering perspective.
While a bundle of many isolated successful findings and applications concerning reversible computing exists, there is still no uniform and consistent theory that is general in the sense of giving a model-independent account to the field.
We aim at proposing a foundation for such a theory by giving a representation theoretic approach: We characterise reversible computations through suitable representations of graphs in vector spaces.
- Chairman: Associate Professor Torben Ægidius Mogensen, Department of Computer Science, University of Copenhagen, Denmark
- Member 1: System Engineer and Professor Alexis De Vos, Universiteit Gent, Belgium
- Member 2: Associate Professor Alessandra Di Pierro, Università di Verona, Italy
- Professor Jakob Grue Simonsen, Department of Computer Science, University of Copenhagen, Denmark
For an electronic copy of the thesis, please contact Jette Giovanni Møller, firstname.lastname@example.org