The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:

Reversible Computer Architectures


Speaker: Dr. Michael Kirkedal Thomsen
Affiliation: University of Bremen, Germany
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Friday, October 30, 2015
Time: 12:00-13:00 EET
Host: Pedro Trancoso (

Reversible computations covers computation models in which computations must be deterministic in both directions; in other words, we can always uncompute a computation. The interest in these models is often motivated by its relation to energy and information preservation and the relation to "future" implementation models, for example quantum computing. But the possibility to perform reverse execution are also useful in applications such as reverse debugging and optimistic execution. Much research focuses on design of reversible logic circuit and reversible programming languages. There is, however, also work on the level in-between, reversible computer architectures, which is the focus of this talk. I will start with a general introduction to reversible computations and logic. Afterwards I will detail work on reversible architectures and explain the details that make is possible to make the von Neumann architecture reversible. This have implications to the instruction set architecture so I will also explain this and show how to implement programs therein. I hope that the talk can motivate discussions for future directions, as this work is at a very early stage.

Short Bio:
Michael Kirkedal Thomsen got his degree at DIKU, Department of Computer Science, University of Copenhagen in 2012 on the topic of Reversible Computations with in in relations to hardware description languages, program transformation, computer architectures. He is currently working at the University of Bremen as a Marie Curie fellow where he has continued this work and have applied this to designing languages to describe reversible logic and reversible logic circuits, and formalising the reversible logic model. He is, furthermore, participating in the work of other "general-purpose" reversible programming languages and works much with functional languages, e.g. Haskell and Erlang.

  Mailing List:

Sponsor: The CS Colloquium Series is supported by a generous donation from Microsoft