Vor mehr als 20 Jahren hat Michael Hohmuth an der TU Dresden mit der Entwicklung der ersten Version des heutigen L4Re Mikrokerns begonnen und es zum Thema seiner Dissertation gemacht. An der TU Dresden und auch bei AMD trieb er Forschungsprojekte mit den Schwerpunkten Betriebssysteme, Virtualisierung, Rechnerarchitektur und IT-Security. Seit 2012 ist er Geschäftsführer der Kernkonzept Gmbh und begleitet mit seinem Wissen Kunden bis zur erfolgreichen Zertifizierung und Inbetriebnahme ihrer Produkte in sicherheitskritischen Umgebungen. Dr.-Ing. Michael Hohmuth beschäftigt sich seit mehr als 20 Jahren mit Mikrokernen und ist der ursprüngliche Autor des L4Re Microkernels.
An der TU Dresden und bei AMD forschte er auf den Gebieten Betriebssysteme, Virtualisierung, Rechnerarchitektur und IT-Security.
Seit 2012 ist Michael Hohmuth Mitgründer und Geschäftsführer der Kernkonzept GmbH, einem Dresdner Unternehmen, das das L4Re Operating System weiterentwickelt und wartet.