CS Colloquium Series @ UCY

Department of Computer Science - University of Cyprus

The Department of Computer Science at the University of Cyprus holds research colloquiums and social hours approximately once weekly. All university students, faculty, and staff are invited to attend. Notifications about new and upcoming events are automatically disseminated to a variety of institutional lists.
If you don't receive these notifications, but want to get informed about upcoming colloquium announcements, you can do the following:
mail List rss RSS Directions Directions

Colloquium Coordinator: Demetris Zeinalipour

Colloquium: Reversible Computer Architectures, Dr. Michael Kirkedal Thomsen (University of Bremen, Germany), Friday, October 30, 2015, 12:00-13:00 EET.

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 (pedro-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php#cs.ucy.2015.thomsen

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.

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2015.thomsen.ics

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

View all Colloquia

Note: The above page was generated automatically from file https://www.cs.ucy.ac.cy/colloquium/rss.xml
Copyright © University of Cyprus - Credits: Demetris Zeinalipour - Created by IT support team.