Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

CURRICULUM VITAE 1. Full name: Phan Cong Vinh -

Degree: Ph.D. in Computing Date of Birth: 20/02/1960 Birth Place: Vietnam Gender: Male E-mail Address: [email protected] Personal Webpage: http://sites.google.com/site/phanvc Contact Address: 43/9 Tang Bat Ho St., Ward 11, Binh Thanh District, HCM City Contact Tel: 0909574816 Nationality: Vietnamese

2. Higher Education University or Institution

Degree

Subject Area

Conferment Date 1983

Vietnam National University at Ho B.Sc. Mathematics Chi Minh City - Vietnam (VNUHCM) Hanoi University of Foreign B.A. English 1999 Languages Studies - Vietnam Vietnam National University at Ho M.Sc. Computer Science 1996 Chi Minh City - Vietnam (VNUHCM) London South Bank University - UK Ph.D. Computer Science 4 May 2006 (LSBU) The PhD Dissertation: (see http://sites.google.com/site/phanvc) My Ph.D. Dissertation, entitled "Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems", was a result from scholarship award granted by London South Bank University, United Kingdom. Supervised by Prof. Jonathan P. Bowen; CAFM, LSBU ([email protected]) Prof. Ali E. Abdallah; CAFM, LSBU ([email protected]) Examined by Dr. Paul Curzon; DCS, Queen Mary, University of London (pc/[email protected]) Prof. Nimal Nissanke; CAFM, LSBU ([email protected]) The PhD certificate: (see http://sites.google.com/site/phanvc/pcv_PhDcertificate.jpg) The LSBU Vice-Chancellor, Sir Prof. Deian Hopkin, awarded me a PhD degree on 4 May 2006.

May 2011

1/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

3. Institution: • Centre for Applied Formal Methods (CAFM), Institute for Computing Research (ICR), Faculty of BUS (ex-BCIM), London South Bank University (LSBU) in UK. 4. Employment Record Rank or Title Lecturer Research Scientist

Effective Date May 1983 October 1996

From 1990 to 2000 I took on responsibilities including Head of Research Projects, Head of Department Section and Deputy Dean of PTIT’s Department of Information Technology. 5. Scholarship or Fellowship •

I was a Fellow at Beijing University of Posts and Telecommunications (BUPT) in China in the RAS/86/165 Intercountry Project, entitled “Telecommunications Computer Software Development and Training”, granted by International Telecommunication Union (ITU) held from 11 September – 06 December 1991.

•

I was a Fellow at Bell Northern Research (BNR), Nortel at Toronto in Canada to participate the training courses in “Advanced Technologies-Education and Training” held from 14 March-30 June 1994 and supported by Nortel.

•

I was a Fellow at International Institute for Software Technology of the United Nations University (UNU/IIST) at Macao SAR in China supported by a scholarship award from UNU/IIST from 1 July to 31 December 2000. Technical Report 213, entitled “Protocol-Based Cooperation in a Virtual Manufacturing Organization”, was finished in this research period.

•

I was a PhD student at Centre for Applied Formal Methods (CAFM), Institute for Computing Research (ICR), Faculty of BCIM, London South Bank University (LSBU) in United Kingdom. The Ph.D. Dissertation, entitled "Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems", was a result from scholarship award granted by London South Bank University, United Kingdom in the research period from September 2001 to February 2006.

•

From February 2006 to the end of 2010, I was a collaborative Research Scientist for CAFM-ICR-LSBU in United Kingdom in Computing Science. Research areas include Formal Methods and Formal Aspects of emergent Computing and Networking.

6. Teaching I taught the following courses at ex-SCISM and Faculty of BCIM, LSBU from 2002:

May 2011

2/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

-

Introduction to Computing Technology (CCA-S-ICT). Unit leader: Elroy Benjamin. Computer and Communication Architecture (CCA-1-CA1). Unit leader: Dave Protheroe. Global Communication Technologies (CCA-2-GLO): Unit leader: Frank Devai.

I taught the following courses at HCMC Natural Science University, HCMC Hung Vuong University, HCMC University of Technology, HCMC Open University, Hanoi University of Technology, Vietnam Posts and Telecommunications Institute of Technology (PTIT) at HCMC from 1983 to 2001. -

Formal Methods Calculus Operations Research Probability Theory and Statistics Algorithm Theory and Computer Programming Fundamentals of Telecommunications Network Computer Network Data Transmission Technologies Internet Services Programming Digital Image Processing

7. Scholarly and Professional Activities (a) Areas of special interest Formal Methods, Applied Categorical Structures in Computer Science, Reconfigurable Computing, Autonomic Computing and Networking, Ubiquitous Computing, Services Computing. (b) Authored/Edited Technical Books and Special Issues 1. My Ph.D. Dissertation, entitled “Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems”, has been 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, January 2009. 2. Autonomic Networking-on-Chip: Bio-inspired Specification, Development and Verification, Hardcover, ISBN: 978-1-43982-911-0, CRC Press Publisher, USA, November 2011. 3. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification, Hardcover, ISBN: 978-1-60960-845-3, IGI Global Publisher, USA, October 2011. 4. Advances in Autonomic Computing: Formal Engineering Methods for NatureInspired Computing Systems, a volume of LNCS Transactions on Computational

May 2011

3/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

Science, Springer Verlag, Winter of 2011. (c) Book/Journal reviews • • • •

The Journal of Cluster Computing, Springer USA, 2009. The book on Parallel Programming and Applications in Grid, P2P and Networkbased 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.

(d) Editorial Board Member •

Journal of Convergence Information Technology (JCIT). ISSN: 1975-9320

•

International Journal of Advancements in Computing Technology (IJACT). ISSN: 2005-8039

•

Journal of Digital Content Technology and Its Applications (JDCTA). ISSN: 19759339

(e) Conference PC member •

ACC 2011 (1st International Conference on Advances in Computing and Communications), Kochi, Kerala, India, 22-24 July 2011.

•

ICAS 2011 (7th International Conference on Autonomic and Autonomous Systems), Venice, Italy, 22-27 May 2011.

•

IDC 2011 (5th International Symposium on Intelligent Distributed Computing), Delft, the Netherlands, 5-7 October 2011.

•

ACIIDS 2011 (3rd Asian Conference on Intelligent Information and Database Systems), Daegu, South Korea, 20-22 April 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.

May 2011

4/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

•

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.

•

ICAS'09 (5th International Conference on Autonomic and Autonomous Systems), Valencia, Spain, 21-25 April 2009.

(f) 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: 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.

May 2011

theory and

5/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

•

CoNeCo'09 (1st IEEE International Workshop on Computer Networks and Communications), Dong Hoi City, Quang Binh Province, Vietnam, 1-3 April 2009.

•

WiMoN'09 (1st International Workshop on Wireless & Mobile Networks), Athens, Greece, 23-25 March 2009.

(g) Conference/workshop reviews •

ICFEM’11 (13th International Conference on Formal Engineering Methods), Durham, UK, 25-28 October 2011.

•

ICFEM’10 (12th International Conference on Formal Engineering Methods), Shanghai, China, 16-19 November 2010.

•

SEFM'09 (2009 IEEE International Conference on Software Engineering and Formal Methods), Hanoi, Vietnam, 23-27 November 2009.

•

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.

•

ICECCS'08 (13th IEEE International Conference on Engineering of Complex Computer Systems), Belfast, Northern Ireland, UK, 31 March-4 April 2008

•

ISCAS'08 (2008 IEEE International Symposium on Circuits and Systems), Seattle, Washington, USA, 18-21 May 2008

•

TASE'07 (1st International Symposium on Theoretical Aspects of Software Engineering), Shanghai, China, 6-8 June 2007.

•

ICTAC’07 (4th International Colloquium on Theoretical Aspects of Computing), Macao SAR, China, 26-28 November 2007.

•

ICFEM’06 (8th International Conference on Formal Engineering Methods), Macao SAR, China, 29 October-3 November 2006.

•

ICTAC’06 (3rd International Colloquium on Theoretical Aspects of Computing), Gammarth/Tunis, Tunisia, 20-24 November 2006.

May 2011

6/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

•

FPL’03 (13th International Conference on Field Programmable Logic and Applications), Lisbon, Portugal, 1-3 September 2003.

(h) Book chapters (when working at CAFM, LSBU) [1] Phan Cong Vinh, Chapter 2 entitled Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures, pages 24-53, in the collective book on Parallel Programming and Applications in Grid, P2P Systems, Approx. 350 p., ISBN: 978-1-60750-004-9, as volume 17 of the IOS Press Book Series: Advances in Parallel Computing, ISSN: 09275452, Book Editor: Fatos Xhafa, Series Editor: Prof. Dr. Gerhard R. Joubert, May 2009. [2] Phan Cong Vinh, Chapter 16 entitled Formal Aspects of Self-* in Autonomic Networked Computing Systems, pages 381-410, in the collective book on Autonomic Computing and Networking, Approx. 465 p. 75 illus., Hardcover, ISBN: 978-0-38789827-8, Co-Editors: Mieso K. Denko, Laurence Tianruo Yang, and Yan Zhang, Springer USA, April 2009. [3] Phan Cong-Vinh, Chapter of Aspect-Oriented Self-configuring P2P Networking in Mobile Environments: A Formal Specification and Verification in the Handbook of Research on Mobile Software Engineering: Design, Implementation and Emergent Applications, Approx. 900 p., Hardcover, ISBN: 978-1615206551, Co-editors: Paulo Alencar and Donald Cowan, IGI Global, USA, October 2011 [4] Phan Cong-Vinh, Chapter 2 entitled Autonomic Agent Systems: Categorical Models and Behaviors in the Transdisciplinary Advancements in Cognitive Mechanisms and Human Information Processing, Hardcover, ISBN: 978-1-60960-553-7, Editor: Yingxu Wang, IGI Global, USA, May 2011. [5] Phan Cong Vinh, Chapter 5 entitled Formal Aspects of Parallel Processing on Bioinspired On-chip Networks in the Autonomic Networking-on-Chip: Bio-inspired Specification, Development and Verification, Hardcover, ISBN: 978-1-43982-911-0, Editor: Phan Cong Vinh, CRC Press, USA, November 2011. [6] Phan Cong Vinh, Chapter 3 entitled Formal Specification and Verification of Selfconfiguring P2P Networking: A Case Study in Mobile Environments in the Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification, Hardcover, ISBN: 978-1-60960-845-3, Editor: Phan Cong Vinh, IGI Global, USA, October 2011. (i) Conference, journal papers and technical reports (when studying and working at CAFM, LSBU) [1] Phan Cong Vinh and Jonathan P. Bowen, Demands On Improving High-Level Synthesis For Dynamically Reconfigurable Architectures. Postgraduate Research Conference in Electronics, Photonics, Communications and Software (PREP'02),

May 2011

7/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

Nottingham, UK, 17-19 April 2002. [2] Phan Cong Vinh and Jonathan P. Bowen, Formalising Configuration Relocation Behaviours for Reconfigurable Computing. Forum on specification & Design Languages (FDL'02), Marseille, France, 24-27 September 2002 (CD ROM). [3] Phan Cong Vinh and Jonathan P. Bowen, Algebraic Semantics of Configuration Relocation in Reconfigurable Computing, The Design, Automation and Test in Europe (DATE'03) (1st EDAA PhD Forum), Munich, Germany, 3-7 March 2003. [4] Phan Cong Vinh and Jonathan P. Bowen, An Algorithmic Approach by Heuristics to Dynamical Reconfiguration of Logic Resources on Reconfigurable FPGAs. Twelfth ACM International Symposium on Field-Programmable Gate Arrays, FPGA 2004; Monterey, California, US; page 254 (22-24 February 2004). [5] Phan Cong Vinh and Jonathan P. Bowen, Algebraic Semantics Based Behavioural Views Of Configuration Relocation In Reconfigurable Computing. Postgraduate Research Conference in Electronics, Photonics, Communications and Software (PREP'03), Exeter, UK, 14-16 April 2003. [6] Phan Cong Vinh and Jonathan P. Bowen, An Algorithmic Approach To Run-Time Management Of Logic Resources On Reconfigurable Computing. Postgraduate Research Conference in Electronics, Photonics, Communications and Software (PREP'04), Hertfordshire, UK, 5-7 April 2004. [7] Phan Cong Vinh and Jonathan P. Bowen, Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. 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. [8] Phan Cong Vinh and Jonathan P. Bowen, A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. 29th Annual IEEE/NASA Software Engineering Workshop (SEW); Greenbelt, Maryland, USA (Washington DC metro), pages 245-252, 6-7 April 2005. [9] 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. [10] Phan Cong Vinh and Jonathan P. Bowen, Safety Property Of Embedded Reconfigurable Computing. Postgraduate Research Conference in Electronics, Photonics, Communications and Software (PREP'05), Lancaster, UK, 30th March-1st April 2005. [11] Phan Cong Vinh and Jonathan P. Bowen, A Formal Approach to Aspect-Oriented

May 2011

8/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

Modular Reconfigurable Computing. The 1st Joint IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, pages 369-378, 6-8 June 2007. [12] Phan Cong Vinh, Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems. Vol. 17, Scientific Annals in Computer Science Journal, Managing Editor: Gabriel Ciobanu, "Alexandru Ioan Cuza" University Press, Romania, pages 113-145, 2007. [13] Phan Cong Vinh and Jonathan P. Bowen, Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. Vol. 4750, No.1, LNCS Transactions on Computational Science Journal, Editors-in-Chief: Marina L. Gavrilova and Chih Jeng Kenneth Tan, Springer-Verlag, pages 1-36, June 2008. [14] Phan Cong Vinh, Categorical Approaches to Models and Behaviors of Autonomic Agent Systems. Vol. 3, No.1, IJCINI Special Issue on Autonomic Agent Systems, Editorin-Chief: Yingxu Wang, IGI Global, pages 17-33, January-March 2009. (j) Conference, journal papers and technical reports (when working at IIST) [1] Phan Cong Vinh and Tomasz Janowski, Protocol-Based Cooperation in a Virtual Manufacturing Organization. Technical Report 213, UNU/IIST, P.O. Box 3058, Macao, October 2000. Presented at and published in the proceedings of the 2nd IFIP/MASSYVE Working Conference on Infrastructures for Virtual Enterprises (PRO-VE), pages 211218, Florianopolis, SC, Brazil, 4-6 December 2000, Kluwer, B.V. [2] Phan Cong Vinh, Formal Specification of Protocol-Based Handover In a Mobile Process, The 3rd International Conference on Advanced Communication Technology (ICACT 2001), Muju Resort, South Korea, February 2001. [3] Phan Cong Vinh, Formal Specification and Verification of Protocol-Based Handover in a Mobile Process, The 4th Joint IEEE International Conference on ATM (ICATM) and High Speed Intelligent Internet, pages 354-358, Seoul, South Korea, 22-25 April 2001. (k) EPSRC funded Activities Postgraduate Research Conference in Electronics, Photonics, Communications and Software (PREP): - 17th-19th April 2002: PREP 2002 at University of Nottingham, UK. - 14th-16th April 2003: PREP 2003 at University of Exeter, UK. - 5th-7th April 2004: PREP 2004 at University of Hertfordshire, UK. - 30th March-1st April 2005: PREP 2005 at University of Lancaster, UK. (l) Membership of Professional Societies • •

The Institute of Electrical and Electronics Engineers (IEEE) IEEE Services Computing Community (IEEE SCC)

May 2011

9/10

Dr. Phan Cong Vinh ─ PhD in Computing

E-mail: [email protected] ──── ●●● ────

• • •

The Association Computability in Europe (CiE) The Advanced Institute of Convergence IT (AICIT) The Pervasive Adaptation community (PerAda)

May 2011

10/10