Xudong He received the B.S. and M.S. degrees in computer science from Nanjing University, China, in 1982 and 1984, respectively. He received the Ph.D. degree in computer science from Virginia Tech in 1989. He joined the faculty of the School of Computing and Information Science (SCIS) at Florida International University (FIU) in 2000. Dr. He is a professor of SCIS and the Director of the Center for Advanced Distributed System Engineering. Prior to joining FIU, he has been an Associate Professor at the Department of Computer Science at North Dakota State University since 1989. His research interests include formal methods, especially Petri nets, and software testing techniques. He has published over 125 papers in the above areas. He was ranked as the top 15 scholars in systems and software engineering worldwide between 1999 and 2003 by Journal of Systems and Software. His research has been funded by the NSF, ONR, NASA, and DOE. He has been the major advisor of 12 Ph.D. and 36 M.S. graduates. Dr. He is a Senior Member of the Association for Computing Machinery and a Senior Member of the IEEE Computer Society.
Biography Updated on 2 October 2011