معرفی
Dr. Xudong He is a Professor at Florida International University's Knight Foundation School of Computing and Information Sciences. With research expertise in software engineering and formal methods, he is internationally recognized for contributions to Petri net theory. He has published over 150 papers and served on 80+ conference committees, with research funded by NSF, NASA, ONR, AFRL, and DOE.
He received BS (1982) and MS (1984) degrees from Nanjing University, and a PhD from Virginia Tech (1989). Before joining FIU in 2000, he spent ten years at North Dakota State University. Professional service includes editorship for Transactions on Petri Nets and Other Concurrency Models and organization of major simulation conferences.
Honors include multiple FIU research excellence awards (2005, 2008, 2009), service recognition (2006, 2013), and best paper awards. His seminal publications include comprehensive surveys of Petri net modeling and formal specifications of software architectures using SAM.
