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