Techniken zur Rechnervirtualisierung werden gegenwärtig für eine Vielzahl verschiedener Ziele eingesetzt. Ziel der Vorlesung ist es, die zugrunde liegende Technik in strukturierter Weise unabhängig von aktuellen Produkten auf Basis wissenschaftlicher Erkenntnisse wie den von Popek und Goldberg formulierten Anforderungen an virtualisierbare Computerarchitekturen einzuführen. Neben der Prozessorvirtualisierung wird auf die Virtualisierung von IO sowie die Bereitstellung von Speicher für virtualisierte Rechner eingegangen und sowie die Zusammenhänge zwischen diesen Bereichen beleuchtet.  Abgerundet wird die Vorlesung durch die Diskussion von Implementationsalternativen anhand aktueller Techniken.