Almost 20 years ago I took courses under a professor who was very into reversible computation. As I recall it was mainly on the language side, though.

Glad that it's still moving, sad that it's at an even slower pace than the "functional/immutable will save the parallellization worries" stuff I encountered in the same period.

It almost sounds like reversible computing is immutability at the hardware level.