Phan Cong Vinh
I am a senior researcher and Head of IT Department at NTTU. I am author of the book titled "Dynamic Reconfigurability in reconfigurable Computing Systems" (2009); editor of two books with titles of "Autonomic Networking-on-Chip" (CRC Press,2012) and "Formal and Practical Aspects of Autonomic Computing and Networking" (IGI Global,2011)
Biography
Dr. 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.Education
-
PhD, London South Bank University, UK, 2006
Areas of Research / Professional Expertise
-
Formal Methods,
Autonomic Computing and networking,
Reconfigurable Computing,
Ubiquitous Computing