Dr. He received his BS and MS degrees in computer science from Nanjing University, China in 1982 and 1984 respectively; and his Ph.D. degree in computer science from Virginia Tech in 1989. He has joined FIU in 2000 after spending 10 years on the faculty at North Dakota State University. Dr. He’s research interests are in software engineering, especially formal methods. He is an internationally known expert on Petri nets. He has published 150 papers in international journals and conferences and served on more than 80 international conference program committees. He serves on the editorial board of the Transactions on Petri Nets and Other Concurrency Models and several other journals. His research has been funded by several major federal agencies including NSF, NASA, ONR, AFRL, and DOE. Dr. He has been a major adviser of 14 Ph.D. and 36 MS graduates.