Phan Cong-Vinh received a PhD in computer science
from London South Bank University (LSBU) in UK, 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 Centre for
Applied Formal Methods (CAFM) at Institute for Computing Research (ICR). From
1983 to 2000, he was a lecturer in mathematics and computer science at VNU,
Posts and Telecommunications Institute of Technology (PTIT) and several other
universities in Vietnam before he joined research with Dr. Tomasz Janowski at
International Institute for Software Technology (IIST) in Macao SAR, China, as a fellow in 2000. From 2001 to 2010 he did research
together with Prof. Jonathan P. Bowen as a research scholar and then collaborative
research scientist at CAFM. From January 2011 to May 2011 he worked for FPT -
Greenwich collaborative program at FPT University (FU) in Vietnam as a visiting lecturer. From
June 2011 to present he has become a member of NTT University (NTTU) to take on
the responsibility of an IT Department's Head and as well as lead the Institute
for Advanced Computing Technology (IACT). Regarding academic publications, 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) and
editor of three titles besides the present work, Autonomic Networking-On-Chip:
Bio-Inspired Specification, Development, and Verification (CRC Press), Formal and Practical Aspects of Autonomic
Computing and Networking: Specification, Development, and Verification (IGI
Global) and Advances in Autonomic Computing: Formal Engineering Methods for
Nature-Inspired Computing Systems (Springer), to be published in 2011 and
2012, respectively. He is also an IEEE member. 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.
|