Title: Parallelism and Synchronization in P Systems and Related Models


Hsu-Chun Yen received the B.S. degree in electrical engineering from National Taiwan University, Taiwan, in 1980, the M.S. degree in computer engineering from National Chiao-Tung University, Taiwan, in 1982, and the Ph.D. degree in computer science from the University of Texas at Austin, U.S.A., in 1986.

He is presently a Distinguished Professor of Electrical Engineering at National Taiwan University, where he initially joined in August 1990. He has served as Chairman of the Electrical Engineering Department since August 2010. From August 1986 to July 1990, he was an Assistant Professor of Computer Science at Iowa State University, Ames, Iowa, U.S.A.

He is an editor of the International Journal of Foundations of Computer Science (IJFCS). He also serves as a member of the steering committees of International Conference on Implementation and Application of Automata (CIAA) and International Symposium on Automated Technology for Verification and Analysis (ATVA). His current research interests include automata theory and formal languages, Petri net theory, graph drawing, design and analysis of algorithms, and formal methods.

Extended Abstract