Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Luca de Alfaro

Original record
Institution
Stanford University
Year
1998
Country
United States
MGP identifier
71267

Dissertation: Formal Verification of Probabilistic Systems

Advisor 1

Students 10

NameInstitutionYearStudents
Bo Thomas AdlerUniversity of California, Santa Cruz20100
Rakshit AgrawalUniversity of California, Santa Cruz20190
Suzanne Bélanger da CâmaraUniversity of California, Santa Cruz20220
Maria DaltayanniUniversity of California, Santa Cruz20150
Shenshen LiangUniversity of California, Santa Cruz20200
Vasileios PolychronopoulosUniversity of California, Santa Cruz20170
Vishwanath RamanUniversity of California, Santa Cruz20100
Pritam RoyUniversity of California, Santa Cruz20090
Michael Borisovich ShavlovskyUniversity of California, Santa Cruz20170
Molly Can ZhangUniversity of California, Santa Cruz20210
Genealogy