Scott Allen Smolka

Dissertation: Analysis of Communicating Finite-State Processes

Mathematics Subject Classification: 68—Computer science

Advisor 1

Name	Institution	Year	Students
Ezio Bartocci	Università degli Studi di Camerino	2009	13
Samik Basu	State University of New York at Stony Brook	2003	1
Shaji Bhaskar	State University of New York at Stony Brook	1991	0
Richard James DeFrancisco	State University of New York at Stony Brook	2019	0
Tushar Suhas Deshpande	State University of New York at Stony Brook	2013	0
Yifei Dong	State University of New York at Stony Brook	2003	0
Xiaoqun Du	State University of New York at Stony Brook	2000	0
Xiaowan Huang	State University of New York at Stony Brook	2010	0
Md Ariful Islam	State University of New York at Stony Brook	2016	0
Chi-Chang Jou	State University of New York at Stony Brook	1992	0
Yuh-Jzer Joung	State University of New York at Stony Brook	1992	0
Abhishek Murthy	State University of New York at Stony Brook	2014	0
Dung Tuan Phan	State University of New York at Stony Brook	2018	0
Oliviero Riganelli	Università degli Studi di Camerino	2009	0
Anu Singh	State University of New York at Stony Brook	2009	0
Oleg Sokolsky	State University of New York at Stony Brook	1996	4
Sue-Hwey Wu	State University of New York at Stony Brook	1996	0
Junxing Yang	State University of New York at Stony Brook	2017	0
Ping Yang	State University of New York at Stony Brook	2004	0
Pei Ye	State University of New York at Stony Brook	2008	0
Shipei Fred Zhang	State University of New York at Stony Brook	1995	0

Genealogy