Biographical note

Phan Cong Vinh received a PhD in computer science from London South Bank University (LSBU) in the United Kingdom, a BS in mathematics and an MS in computer science from Vietnam National University (VNU) in Ho Chi Minh City, and a BA in English from Hanoi University of Foreign Languages Studies in Vietnam. He finished his PhD dissertation with the title of “Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems” supervised by Prof. Jonathan P. Bowen at LSBU where he was affiliated with the Center for Applied Formal Methods (CAFM) at the Institute for Computing Research (ICR). He joined research with Dr. Tomasz Janowski at the International Institute for Software Technology (IIST) in Macao SAR, China, as a fellow in 2000. At present, he is an Associate Professor of Nguyen Tat Thanh University (NTTU) to take on the responsibility of a senior research scientist. He has been author or coauthor of many refereed contributions published in prestigious journals, conference proceedings or edited books. He is the author of a book on computing science titled “Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing” (VDM, 2009); editor of two titles, “Autonomic Networking-on-Chip: Bio-Inspired Specification, Development and Verification” (CRC Press, 2012) and “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification” (IGI Global, 2011); editor of Special Issues, “Context-Awareness of Mobile Systems: Models, Algorithms and Applications” (Springer MONET, 2012 (indexed in SCIE)) and “Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems” (Springer TCS, 2012). He has served on many conference program committees and has been general or technical (co)chair and (co)organizer of several international conferences such as a series of ICCASA and ICTCC. His research interests center on all aspects of formal methods, nature of computation and communication, and applied categorical structures in computer science.