Dr. Phan Cong Vinh


Ph.D. in Computing

Centre for Applied Formal Methods

 London South Bank University

Member of IEEE, IEEE SCC, CiE, AICIT and PerAda




Publication date: November 2011 (Click here for details)
 
Book Title: Autonomic Networking-on-Chip:  Bio-inspired Specification, Development and Verification
 
Publisher: Taylor & Francis/CRC Press, Florida, USA 
Book Editor: Dr. Phan Cong-Vinh 
 
to be published as a volume of  
 
Book Series: Embedded Multi-Core Systems 
Series Editors:Fayez Gebali and Haytham Elmiligi. IMS Research Group, University of Victoria, Victoria, BC, Canada  
 
 
Publication date: October 2011 (Click here for details)
 
Book Title: Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification 
 
Publisher: IGI Global, Pennsylvania, USA 
Book Editor: Dr. Phan Cong-Vinh
 
 
Publication date: Winter of 2011
 
Special Issue Title: Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems 
 
Publisher: Springer
Guest Editor: Dr. Phan Cong-Vinh 
to be published as a volume of LNCS Transactions on Computational Science, Editor-in-Chief: Prof. M.L. Gavrilova, University of Calgary, Canada


My Ph.D. Dissertation, entitled Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems, published worldwide in the book with the title of Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing, 236 p. 89 illus., Softcover,  ISBN: 978-3-639-12111-7, VDM Verlag Dr. Müller Aktiengesellschaft & Co. KG, Saarbrücken, Germany, 29 January 2009.

Book Description:
This monograph breaks fresh ground in dealing with dynamic reconfigurability taking advantage of algebraic and coalgebraic approaches - the firm formal methods applicable to a wide variety of reconfigurable computing systems. Its purpose is to make a formal basis more accessible to researchers, scientists and graduate students as well as practitioners by providing them with state-of-the-art research results and future opportunities and trends. While the dealing with this subject is regularly very mathematical, "Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing" goes through the theory of algebras and coalgebras straightforwardly, leading the readers to an understanding of what it means to give a rigorous approach to aspects of dynamic reconfigurability. The book is self-contained and there are no requirements other than a knowledge on the major principles of reconfigurable computing systems. 


Research Interests:Formal Aspects of Computing,  Autonomic/Ubiquitous/Services Computing and Networking, Applied Categorical Structures in Computer Science.

Membership of Professional Societies:

  • The Institute of Electrical and Electronics Engineers (IEEE
  • IEEE Services Computing Community (IEEE SCC)  
  • The Association Computability in Europe (CiE
  • The Advanced Institute of Convergence IT (AICIT
  • The Pervasive Adaptation community (PerAda)

Curriculum Vitae: Latest CV


Big events:

Turing Centenary in 2012  & The Alan Turing Year

23 June 2012 is the Centenary of Alan Turing’s birth in London. During his relatively brief life, Turing made a unique impact on the history of computing, computer science, artificial intelligence, and the mathematical theory of computability.

2012 will be a celebration of Turing’s life and scientific impact, with a number of major events taking place throughout the year. Most of these will be linked to places with special significance in Turing’s life, such as Cambridge, Manchester and Bletchley Park.


Selected Publications:
  • Phan Cong Vinh, Categorical Approaches to Models and Behaviors of Autonomic Agent Systems. Published in Vol. 3, No.1 of the IJCINI Special Issue on Autonomic Agent Systems, ISSN: 1557-3958, EISSN: 1557-3966, Editor-in-Chief: Yingxu Wang, IGI Global, pages 17-33, January-March 2009.
  • Phan Cong Vinh and Jonathan P. Bowen, Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. Published in Vol. 4750, No.1 of the LNCS Transactions on Computational Science Journal, 181 p., Softcover, ISBN: 978-3-540-79298-7, Editors-in-Chief: Marina L. Gavrilova and Chih Jeng Kenneth Tan, Springer-Verlag, pages 1-36, June 2008.
  • Phan Cong Vinh, Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems. Published in Vol. 17 of the Scientific Annals in Computer Science Journal, ISSN 1843 - 8121, Managing Editor: Gabriel Ciobanu, "Alexandru Ioan Cuza" University Press, Romania, pages 113-145,  2007.
  • Phan Cong Vinh and Jonathan P. Bowen, A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. Presented at and published in the proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Shanghai, China, pages 369-378, 5-8 June 2007.
  • Phan Cong Vinh and Jonathan P. Bowen, Continuity Aspects of Embedded Reconfigurable Computing. Published in Vol. 1, Issue 1 of the NASA journal Innovations in Systems and Software Engineering, Springer London, pages 41-53, April 2005.
  • Phan Cong Vinh and Jonathan P. Bowen, A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. Presented at and published in the proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop; Greenbelt, Maryland, USA (Washington DC metro),pages 245-252, 6-7 April 2005.
  • Phan Cong Vinh and Jonathan P. Bowen, Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. Presented at and published in the proceedings of the 12th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS): Methodologies and techniques for large-scale embedded systems design; Greenbelt, Maryland, USA (Washington DC metro),pages 247-254, 4-5 April 2005.
  • Phan Cong Vinh and Jonathan P. Bowen, Formalising Configuration Relocation Behaviours for Reconfigurable Computing. Presented at and published in the proceedings of the Forum on specification & Design Languages (FDL'02), Marseille, France, 24-27 September 2002 (CD ROM).
  • Phan Cong Vinh, Formal Specification and Verification of Protocol-Based Handover In a Mobile Process. Presented at and published in the proceedings of the 4th  Joint IEEE International Conference on ATM (ICATM) and High Speed Intelligent Internet, pages 354-358, Seoul, South Korea, 22-25 April 2001.
  • Phan Cong Vinh and Tomasz Janowski, Protocol-Based Cooperation in a Virtual Manufacturing Organization. Technical Report 213, UNU/IIST, P.O. Box 3058, Macao SAR, China, October 2000. Presented at and published in the proceedings of the 2nd IFIP/MASSYVE Working Conference on Infrastructures for Virtual Enterprises (PRO-VE), pages 211-218, Florianopolis, SC, Brazil, 4-6 December 2000, Kluwer, B.V.

Conference PC Member:

  • ACC 2011 (1st International Conference on Advances in Computing and Communications), Kochi, Kerala, India, 22-24 July 2011.
  • ACIIDS 2011 (3nd Asian Conference on Intelligent Information and Database Systems), Daegu, South Korea, 20-22 April 2011.
  • ICAS 2011 (7th International Conference on Autonomic and Autonomous Systems), Venice/Mestre, Italy,  22-27 May 2011
  • IDC 2011 (5th International Symposium on Intelligent Distributed Computing), Delft, the Netherlands, 5-7 October 2011.
  • IDC 2010 (4th International Symposium on Intelligent Distributed Computing), Tangier, Morocco, 16-18 September 2010.
  • FutureTech 2010 (5th International Conference on Future Information Technology), Busan, South Korea, 21-23 May 2010.
  • ACIIDS 2010 (2nd Asian Conference on Intelligent Information and Database Systems), Hue City, Vietnam, 24-26 March 2010.
  • ICAS 2010 (6th International Conference on Autonomic and Autonomous Systems), Cancun, Mexico,  7-13 March 2010

  • ICCIT'09 (4th International Conference on Computer Sciences and Convergence Information Technology), Seoul, South Korea,  24-26 November 2009.
  • NCM'09(5th IEEE International Joint Conference on
    INC, IMS and IDC), Seoul, South Korea, 25-27 August 2009.

  • NISS'09(3rd IEEE International Conference on
    New Trends in Information and Service Science
    ), Beijing,
    China, 30 June - 2 July 2009.

Workshop PC Member:

  • MultiStreams2011 (1st International Workshop on Multimedia Streaming),Kochi, Kerala, India, 22-24 July 2011.
  • IWTMP2PS2011 (2nd International Workshop on Trust Management in P2P Systems),Kochi, Kerala, India, 22-24 July 2011.
  • WSN 2011 (3rd International Workshop on Wireless Sensor Networks:  theory and practice), Paris, France, 10 February 2011.
  • SH 2010(5th International Symposium on Smart Home),Busan, South Korea, 21-23 May 2010.
  • NetCoM'09 (1st IEEE International Conference on Networks & Communications) , Chennai, India, 27-29 December 2009.
  • WMNS'09 (1st IEEE International Workshop on Wireless & Mobile Networks Security), Gold Coast, Australia, 19-21 October 2009.
  • WeST'09 (1st International Workshop on Web & Semantic Technology), Wrexham, North East Wales, UK, 8-11 September 2009. 
  • UbiC'09(1st IEEE International Workshop on Ubiquitous Computing), Seoul, South Korea, 25-27 August 2009.
  • SH'09 (4th International Symposium on Smart Home),Toronto, Canada, 13-16 July 2009.
  • WiMo'09(1st IEEE International Workshop on Wireless & Mobile Networks), Brisbane, Australia , 7-10 July 2009.
  • MoWin'09 (1st IEEE International Workshop on Mobile & Wireless Networks) , Seoul, South Korea, 25-27 June 2009.
  • GridCom'09(1st IEEE International Workshop on Grid Computing), Rabat, Morocco , 10-13 May 2009.
  • CoNeCo'09 (1st IEEE International Workshop on Computer Networks and Communications), Dong Hoi City, Quang Binh Province, Vietnam, 1-3 April 2009.
  • ICAS'09 (5th International Conference on Autonomic and Autonomous Systems), Valencia, Spain, 21-25 April 2009.
  • WiMoN'09(1st International Workshop on Wireless & Mobile Networks), Athens, Greece, 23-25 March 2009.

Book/Journal Reviews:


  • The Journal of Cluster Computing, Springer USA, 2009.
  • The book on Parallel Programming and Applications in Grid, P2P and Network-based Systems. IOS Press, 2009.
  • The book on Autonomic Computing and Networking. Springer USA, April 2009.
  • The International Journal of Cognitive Informatics & Natural Intelligence (IJCINI), Vol.3, No.1, IGI Global, January  - March 2009.

Conference/Workshop Reviews:


  • ACIIDS'09 (1st IEEE Asia Conference on Intelligent Information and Database Systems), Dong Hoi City, Quang Binh Province, Vietnam, 1-3 April 2009.
  • SEFM'08(2008 IEEE International Conference on Software Engineering and Formal Methods), Cape Town, South Africa, 10-14 November 2008.
  • ICTAC'08 (5th International Colloquium on Theoretical Aspects of Computing), Istanbul, Turkey, 1-3 September 2008.
  • ISCAS'08 (2008 IEEE International Symposium on Circuits and Systems), Seattle, Washington, USA, 18-21 May 2008.
  • ICECCS'08 (13th IEEE International Conference on Engineering of Complex Computer Systems), Belfast, Northern Island, UK, 31 March-4 April 2008.
  • ICTAC'07(4th International Colloquium on Theoretical Aspects of Computing), Macao SAR, China, 26-28 September 2007.
  • TASE'07(1st Joint IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering), Shanghai, China, 5-8 June 2007.
  • ICTAC’06(3rd International Colloquium on Theoretical Aspects of Computing), Gammarth/Tunis, Tunisia, 20-24 November 2006.
  • ICFEM’06(8th International Conference on Formal Engineering Methods), Macao SAR, China, 29 October-3 November 2006.
  • FPL’03(13th International Conference on Field Programmable Logic and Applications), Lisbon, Portugal, 1-3 September 2003.

"Academic research is a haven for those who feel that they want to be continually challenged when exploring a subject in more detail, and increase their knowledge of their chosen subject.

by Neil Harris