作者简介
RandalE.Bryantreceivedhisbachelor’sdegreefromtheUniversityofMichiganin1973andthenattendedgraduateschoolattheMassachusettsInstituteofTechnology,receivinghisPhDdegreeincomputersciencein1981.HespentthreeyearsasanassistantprofessorattheCaliforniaInstituteofTechnology,andhasbeenonthefacultyatCarnegieMellonsince1984.ForfiveofthoseyearsheservedasheadoftheComputerScienceDepartment,andfortenofthemheservedasDeanoftheSchoolofComputerScience.Heiscurrentlyauniversityprofessorofcomputerscience.HealsoholdsacourtesyappointmentwiththeDepartmentofElectricalandComputerEngineering.ProfessorBryanthastaughtcoursesincomputersystemsatboththeundergraduateandgraduatelevelforaround40years.Overmanyyearsofteachingcomputerarchitecturecourses,hebeganshiftingthefocusfromhowcomputersaredesignedtohowprogrammerscanwritemoreefficientandreliableprogramsiftheyunderstandthesystembetter.TogetherwithProfessorO’Hallaron,hedevelopedthecourse15-213,IntroductiontoComputerSystems,atCarnegieMellonthatisthebasisforthisbook.Hehasalsotaughtcoursesinalgorithms,programming,computernetworking,distributedsystems,andVLSIdesign.MostofProfessorBryant’sresearchconcernsthedesignofsoftwaretoolstohelpsoftwareandhardwaredesignersverifythecorrectnessoftheirsystems.Theseincludeseveraltypesofsimulators,aswellasformalverificationtoolsthatprovethecorrectnessofadesignusingmathematicalmethods.Hehaspublishedover150technicalpapers.Hisresearchresultsareusedbymajorcomputermanufacturers,includingIntel,IBM,Fujitsu,andMicrosoft.Hehaswonseveralmajorawardsforhisresearch.TheseincludetwoinventorrecognitionawardsandatechnicalachievementawardfromtheSemiconductorResearchCorporation,theKanellakisTheoryandPracticeAwardfromtheAssociationforComputerMachinery(ACM),andtheW.R.G.BakerAward,theEmmanuelPioreAward,thePhilKaufmanAward,andtheA.RichardNewtonAwardfromtheInstituteofElectricalandElectronicsEngineers(IEEE).HeisafellowofboththeACMandtheIEEEandamemberofboththeUSNationalAcademyofEngineeringandtheAmericanAcademyofArtsandSciences.DavidR.O’HallaronisaprofessorofcomputerscienceandelectricalandcomputerengineeringatCarnegieMellonUniversity.HereceivedhisPhDfromtheUniversityofVirginia.HeservedasthedirectorofIntelLabs,Pittsburgh,from2007to2010.Hehastaughtcomputersystemscoursesattheundergraduateandgraduatelevelsfor20yearsonsuchtopicsascomputerarchitecture,introductorycomputersystems,parallelprocessordesign,andInternetservices.TogetherwithProfessorBryant,hedevelopedthecourseatCarnegieMellonthatledtothisbook.In2004,hewasawardedtheHerbertSimonAwardforTeachingExcellencebytheCMUSchoolofComputerScience,anawardforwhichthewinnerischosenbasedonapollofthestudents.ProfessorO’Hallaronworksintheareaofcomputersystems,withspecificinterestsinsoftwaresystemsforscientificcomputing,data-intensivecomputing,andvirtualization.Thebest-knownexampleofhisworkistheQuakeproject,anendeavorinvolvingagroupofcomputerscientists,civilengineers,andseismologistswhohavedevelopedtheabilitytopredictthemotionofthegroundduringstrongearthquakes.In2003,ProfessorO’HallaronandtheothermembersoftheQuaketeamwontheGordonBellPrize,thetopinternationalprizeinhigh-performancecomputing.Hiscurrentworkfocusesonthenotionofautograding,thatis,programsthatevaluatethequalityofotherprograms.
