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 Title Phone E-mail


Name and contact information of principal investigator with link to research profile.