Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

David Andrew Patterson

Original record
Institution
University of California, Los Angeles
Year
1976
Country
United States
MGP identifier
98366

Dissertation: Verification of Microprograms

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 27

NameInstitutionYearStudents
Eric A. AndersonUniversity of California, Berkeley20020
Remzi Hussein Arpaci-DusseauUniversity of California, Berkeley19990
Satoshi AsamiUniversity of California, Berkeley20000
Scott BeamerUniversity of California, Berkeley20161
Peter BodikUniversity of California, Berkeley20100
Bidyut Kumar BoseUniversity of California, Berkeley19880
Aaron Baeten BrownUniversity of California, Berkeley20030
Peter Ming-Chien ChenUniversity of California, Berkeley19920
Michael Donald DahlinUniversity of California, Berkeley19953
Archana Sulochana GanapathiUniversity of California, Berkeley20090
Joseph James GebisUniversity of California, Berkeley20080
Garth Alan GibsonUniversity of California, Berkeley19914
Paul Mark HansenUniversity of California, Berkeley19880
Mark Donald HillUniversity of California, Berkeley198718
Kimberly K. KeetonUniversity of California, Berkeley19990
Shing Ip KongNot recorded—0
Christoforos Christos KozyrakisUniversity of California, Berkeley200231
Corinna Grace LeeUniversity of California, Berkeley19920
David Royal MartinUniversity of California, Berkeley20020
David L. OppenheimerUniversity of California, Berkeley20050
Robert D. SelingerUniversity of California, Berkeley19830
Nisha Darshi TalagalaUniversity of California, Berkeley19990
George S. TaylorUniversity of California, Berkeley19910
David Michael UngarUniversity of California, Berkeley19864
Samuel Webb WilliamsUniversity of California, Berkeley20080
Wei XuUniversity of California, Berkeley20100
Robert YungUniversity of California, Berkeley19980
Genealogy