Jiacun Wang received the PhD in
computer engineering from Nanjing University of Science and
Technology (NJUST), China, in 1991. He is currently a
Professor and Graduate Program Director of the Computer Science and Software Engineering Department at Monmouth
University, West Long Branch, New Jersey, USA. From 2001 to
2004, he was a member of scientific staff with Nortel Networks
in Richardson, Texas. Prior to joining Nortel, he was a research
associate of the School of Computer Science, Florida
International University (FIU) at Miami. Prior to joining FIU,
he was an associate professor at NJUST.
Dr. Wang's research interests
include software engineering,
discrete event systems, formal methods, machine learning, healthcare information systems, wireless networking, and
real-time distributed systems. Most recently, he has been
focusing his research on workflow modeling and analysis for
emergency management systems. He published four books, including Formal Methods in Computer Science
(CRC Press, 2019), Real-time Embedded Systems (Wiley, 2017), Finite State Based Models and Applications
(CRC Press, 2012), and Timed Petri Nets: Theory and Application (Norwell, MA: Kluwer, 1998), and
published more than 170 research papers in peer reviewed
international journals and conferences. He is currently an Associate Editor of IEEE Transactions on Systems, Man, and Cybernetics: Systems,
and IEEE/CAA Journal of Automatica Sinica. He was an Associate
Editor of IEEE Transactions on Systems, Man, and Cybernetics,
Part C, and has served as general chair, program chair, program co-chair,
or special sessions chair for several
international conferences. Dr. Wang has been a senior member of IEEE
since 2000.
