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
Name and contact information of principal investigator with link to research profile.