Explora el campo de la lógica reversible, que busca diseñar circuitos que no disipen energía durante la computación. Presenta técnicas de síntesis, optimización y testeo para estos circuitos, que son fundamentales para la computación cuántica y de baja potencia.
