Phan Cong Vinh
BiographyDr. 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 Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems supervised by Prof. Jonathan P. Bowen at LSBU where he was affiliated with the Centre 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 a member of Nguyen Tat Thanh University (NTTU) to take on the responsibility of an IT Department's Head. He has been author or co-author 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 (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 two Special Issues, Context-Awareness of Mobile Systems: Models, Algorithms and Applications (Springer MONET (SCIE), 2012) 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 two international conferences (ICCASA 2012, SCIS-ISIS 2012). His research interests center on all aspects of formal methods, autonomic computing and networking, reconfigurable computing, ubiquitous computing, and applied categorical structures in computer science.
Computer Science, Research
Areas of Research / Professional Expertise
Autonomic Computing and networking,