Joachim Tilsted Kristensen

Joachim Tilsted Kristensen is a Doctoral Research Fellow at the University of Oslo's Department of Informatics, within the Programming Technology section. His research focuses on programming language design, formal semantics, complexity theory, and distributed systems. He teaches the course Programming Language Implementation and Formalisation alongside Lars Vadgaard and Michael Thomsen. His work emphasizes memory-safe systems programming, particularly exploring Rust's ownership model integration with CUDA platforms via domain-specific languages. He collaborates with MuyBridge, an Oslo-based company, on open-source projects under Apache 2.0/MIT licenses.

Research Interests: Formal methods, systems programming, functional programming, compiler design, and programming language semantics. He advocates for safe, high-performance computing models that avoid traditional memory hazards in systems development.

Current Projects: Modern approaches to theoretical computer science education and reliable concurrent/distributed computation models. His master’s thesis proposal targets safe image processing in Rust/CUDA ecosystems, addressing memory safety challenges in proprietary APIs.

Collaborations: Active with industry partners like MuyBridge for applied research. Part of the Programming Technology research group at the University of Oslo.