Ich habe mein Master-und PhD-Grad von DIKU, Department of Computer Science der Universität Kopenhagen mit einem Hintergrund in Programmiersprachen, Programmtransformation, Computer-Architekturen und theoretischen Aspekt wie Logik und Komplexität.
In letzter Zeit habe ich diese auf den Bereich der reversiblen Berechnung angewendet, vor allem die Gestaltung Sprachen reversible Logik und reversible Logikschaltungen zu beschreiben, und die Formalisierung des reversiblen Logik-Modell.
Ein Hobby von mir ist Feld verteilten Systemen, in denen ein besonderes Interesse ist Implementierungen in Erlang (oder andere Akteur Modell Sprachen).
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
Upper bounds for reversible circuits based on Young subgroups