Program Inversion and Reversible Computing
We study reversible computing with a focus on garbage-free computation models and design of programming languages in these. Relations to other areas include categorical models, IT-security, computer systems, and quantum computation.
More info about the group TBA
People
This content is temporarily unavailable because the system it is fetched from cannot be reached. The rest of the site works as usual.
Status is available on the operating status page.
Contact
Name and contact information of principal investigator with link to research profile.