Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Associate Professor

Keywords

  • Faculty of Science - Reversible Computation, Domain-specific languages, Program transformation, Program analysis, Computer architecture, Semantics

ID: 12085624