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

Contact

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