Ansatte – Københavns Universitet

Videresend til en ven Resize Print Bookmark and Share

Datalogisk Institut, DIKU > Ansatte

Holger Bock Axelsen

Holger Bock Axelsen

    Medlem af:

    • The APL Section

    Primære forskningsområder

    Reversible computing and programming. Computability and complexity. Programming language technology. Quantum computation. Applications of reversibility in computer systems (robotics, transactions).

    Aktuel forskning

    Trade-offs between modalities in automata models, programming languages and algorithms, applications of reversibility in computer systems, quantum computation.

    ID: 3169769