« zurück

Erfolgreiche Verteidigung der Dissertation

Dr. Ngouo´goum Tague Laura Sandrine

Dr. Ngouo´goum Tague Laura Sandrine hat ihre Promotion „Using Decision Diagrams in the Design of Reversible Circuit“ erfolgreich verteidigt.

Dr. Laura Tague untersucht in ihrer Arbeit Methoden zur effizienten Implementierung reversibler Funktionen. Dabei betrachtet sie neben der Synthese auch Verfahren zur Einbettung nicht-reversibler Funktionen, sowie das Debugging und den Äquivalenzvergleich. Dadurch können Schaltungen nicht nur automatisch erzeugt, sondern auch gleich auf ihr korrektes funktionales Verhalten hin überprüft werden.

Wir gratulieren!