Rainer Doemer

Doemer received the Ph.D. in information and computer science from the University of Dortmund, Germany, in April 2000. His work defined the SpecC language and methodology, which created a world-wide impact in industry and academia so that leading companies started the international SpecC Technology Open Consortium (STOC). In 2003, STOC consisted of over 30 universities and over 30 companies worldwide.

Doemer has led the Reference Compiler project for STOC which makes a reference implementation of a compiler and simulator freely available as Open Source. As a co-author of two books on System-Level Design with SpecC, he has led the discussion on execution and synchronization semantics in the language working group of STOC and has been chosen to write the official SpecC language reference manual.

He also contributed and coordinated work on a new System Design tool called System-on-Chip Environment (SCE) with support for estimation, validation and synthesis of SoC. SCE features automatic model refinement down to a cycle-accurate implementation.

Doemer's research interest include system-level design and methodologies, embedded computer systems, specification and modeling languages, system-on-chip design and embedded software.