Research & Projects
My research spans programming languages, runtime systems, concurrency, and AI-powered software development. I focus on creating practical tools and systems that solve real-world challenges while advancing the state of the art.
Current Research & Development
Lightscale AI
Current - Founded 2026
Production-grade AI software development platform achieving hallucination-free code generation with 30x speed improvements. Pioneering new approaches to AI-powered software engineering using a new intermediate programming language for AI.
Internet Computer & Motoko Language
2022-2025 - DFINITY Foundation
Core contributor to the Internet Computer blockchain platform and Motoko programming language. Designed and implemented advanced runtime features including incremental garbage collection and enhanced orthogonal persistence for smart contracts.
Incremental Garbage Collection for Blockchain
2022-2023 - DFINITY Foundation
Developed novel incremental garbage collection algorithms specifically designed for blockchain environments, addressing deterministic execution and limited computation cycles. Published at VMIL 2023.
Enhanced Orthogonal Persistence
2023-2024 - DFINITY Foundation
State-of-the-art persistence mechanisms for smart contracts enabling transparent state management and smarter contract upgrades. Eliminates explicit serialization while maintaining efficiency and reliability. Published at VMIL 2024.
Major Research Projects
Parallel Checker for C#
2015-2021 - OST Fachhochschule
Static analysis tool detecting data races, deadlocks, and other concurrency issues in C# directly in Visual Studio IDE. Features high precision and fast analysis times. Open-sourced under MIT license.
Composita Programming Language
2004-2013 - ETH Zürich & OST
Novel general-purpose programming language featuring hierarchical composition, dynamic wiring, fine-granular concurrency and communication-oriented interactions. Supported by custom operating system enabling massive concurrency with fast context switches.
GPU Parallelization in .NET
2013-2016 - OST Fachhochschule
Programming model and runtime system making GPU parallelization accessible to .NET developers without sacrificing generality or performance. Radically simplified parallel programming for heterogeneous computing.
Cloud Task Parallelization
2012-2015 - OST Fachhochschule
Runtime extension automatically extracting parallel tasks from shared memory model and transparently dispatching them to cloud services for massive parallelization using high-performance computing clusters.
Persistent Oberon
2003-2007 - ETH Zürich
Embedded data persistence directly in the Oberon programming language, eliminating explicit persistence mapping. Automatic object store management provides programs with the illusion of infinite lifetime surviving system restarts.
Compiler & Runtime Systems Book
2018-2021 - OST Fachhochschule
Comprehensive textbook on modern compiler and runtime system design. Hands-on approach building both compiler and virtual machine from scratch, covering interpreters, JIT compilation, object-oriented runtime support, and garbage collection.
Industry Collaboration
In addition to academic research, I have conducted numerous applied research projects with industry partners, focusing on practical solutions to real-world software engineering challenges in areas such as concurrent programming, static analysis, runtime optimization, and AI-powered development tools.