EntityQ92920· pop 7· linked from 18 articlesManfred BroySign in to saveGerman computer scientistConnectionsGermanyCountryNATOConceptcomputer scienceEntitySan DiegoEntityWayback MachineEntityDoctor of PhilosophyEntityTechnical University of MunichEntityLandsberg am LechEntityGarching bei MünchenEntityemeritusEntitythesisEntityTony HoareEntityMarktoberdorfEntitycomputer scientistEntitydblp computer science bibliographyEntityUniversity of PassauEntityFriedrich L. BauerEntitydoctoral advisorEntityDavid HarelEntityKonrad Zuse MedalEntityCategories1949 birthsAcademic staff of the Technical University of MunichAcademic staff of the University of PassauFormal methods peopleGerman computer scientistsGottfried Wilhelm Leibniz Prize winnersLiving peopleMembers of German Academy of Science and Engineering AcatechPeople from Landsberg am LechTechnical University of Munich alumni