Mein(e) Ansprechpartner/-in

Prof. Dr. Martin Ruckert

Prof. Dr. Martin Ruckert
Fakultaet 07
Raum: R 4.027
Adresse: 80335 München, Lothstr. 64

Fakultät 07
Tel.: 089 1265-3730
Fax: 089 1265-3780


I will spend the summer term of 2017 at California Polytechnic State University (Cal Poly) in San Luis Obispo where I will teach a course on Programming Languages.

Fachgebiete / Schwerpunkte

  • Programming Languages
  • Compiler
  • Formal Methods
  • Hardware Simulation


  • From November 2005 to October 2010, I served as head of the department for Computer Science and Mathematics (Dekan)
  • I spent the spring semester 2011 in Stanford as a visiting researcher. Working on MMIX, I enjoyed a teriffic support from Donald Kuth.
  • Since September 2011, I maintain the new home of the MMIX virtual machine.
  • Since September 2011, I serve as Vice Chairman of the Bezirksausschuss 2 in Munich

Weitere Informationen

Further information (office hours) may be found in the department information database .

The MMIX Supplement

The MMIX Supplement to The Art of Computer Programming Volumes 1,2,3 by Donald E. Knuth

The MMIX Supplement Cover

In February 2015, I finished the MMIX Supplement to Donald Knuths series of Books on The Art of Computer Programming. The book contains trasnslations for the MMIX processor of all the programs Donald Knuth had written for the (by now a bit outdated) MIX computer. Along with the programs, the analysis of the algorithms was updated to reflect the new processor.

Understanding MP3

Understanding MP3: Syntax, Semantics, Mathematics, and Algorithms

More Information about the book, you find on the Understanding MP3 Homepage

Understanding MP3 - Syntax, Semantics, Mathematics, and Algorithms

Thanks to CreateSpace the book is again available in print, either directly from CreateSpace or form Amazon Understanding MP3

The book has two main objectives:

To explain the syntax, the semantics, the mathematics, the software, and the purpose that is inherent in an MPEG audio bit stream, and

to provide a highly efficient, general purpose implementation of a decoder, called mp32pcm, that can transform such a bit stream into an ordinary stream of PCM data.

The Virtual Motherboard (VMB)

A Generic Virtual Bus for Hardware Simulator Composition

IEEE Design and Test Logo

The paper

"A Generic Virtual Bus for Hardware Simulator Composition" ,

together with Axel Böttcher and Martin Hauser appeared in IEEE Design&Test. Thanks go to my students in the IT-Systems course who helped testdriving the simulator during the last semesters.


MMIX Logo Small


VMB Logo large