About

I am a computer scientist and technology innovator specializing in programming languages, compiler design, runtime systems, and AI-based software development. My work combines language design and formal foundations with practical engineering of tools and systems.

Currently, I am Founder and Architect of Lightscale AI, which generates business software from natural-language descriptions. At its core is a domain-specific programming language designed for authorship by large language models, together with its compiler. A program expresses only the domain logic: data, transactions, access rights, and user interface. Database, service layer, authentication, and front end are generated from it. This design rules out certain error classes by construction, and the compiler statically checks further selected architectural properties, such as access control and data integrity rules, before a program is deployed. Previously, I founded and led the AI core team at Caffeine AI, which builds applications on the Internet Computer from natural-language prompts.

As a core contributor to the DFINITY Internet Computer, I worked extensively on the Motoko programming language, implementing advanced features including incremental garbage collection and enhanced orthogonal persistence for smart contracts. My research focuses on making concurrent and parallel programming safer, more efficient, and more accessible.

I earned my PhD from ETH Zurich and served as Professor and Dean at HSR Hochschule für Technik Rapperswil and its successor OST Ostschweizer Fachhochschule, where I received the university-wide Best Teacher Award for my course on Parallel Programming.