Site Map Navigation Internal Restricted Login
Antonio Cerone's Website
Home Family Interests Research Training
Welcome >> Home >> Training
My Photo
LOCAL LINKS
Training
Schools
Courses
Supervision

Supervision

As a UNU-IIST Research Fellow I supervise

  • Postdocs [current | past] from any country.
  • PhD candidates [current | past] from developing countries enrolled within a joint PhD Programme with
  • Fellows [current | past] from developing countries involved in Research or Curriculum Development Projects.

Before joining UNU-IIST I have also supervised Honours, Masters students and PhD candidates at The University of Queensland.


Current Supervision

Postdocs

Dr. Andreas Griesmayer
Country: Austria
Research Topic: Computing Preconditions in Concurrent Systems
Funding Project: CREDO (European Union)
Starting Date: March 2006
Termination Date: 31 December 2008
External Position: none.

PhD Candidates

Mr. Thomas Anung Basuki
Country: Indonesia
PhD joint Program with the University of Pisa
Research Topic: A Formalism to Model Biological Systems
Funding Project: Formal Modelling and Analysis of Complex Systems (UNU-IIST)
Starting Date: 1 January 2007
Termination Date: 31 December 2009
External Position: Lecturer at the Parahyangan Catholic University, Bandung, Indonesia.

Mr. Rudolf Schlatte
Country: Austria
PhD formal enrollment at the Technical University of Graz
Research Topic: Test Case Generation from Formal Specification for Functional Testing
Funding Project: CREDO (European Union)
Starting Date: March 2006
Termination Date: 31 December 2008
External Position: none.

Fellows
none.


Past Supervision at UNU-IIST

Postdocs

Dr. Siraj Shaikh
Country: Pakistan
Research Topic: Formal Aspects of Secure Distributed Systems
Funding Project: Formal Models for Security (UNU-IIST)
Starting Date: 1 October 2006
Termination Date: 30 September 2007
External Position: (on leave) Lecture at the University of Gloucestershire, UK

PhD Candidates
none.

Fellows

Mr. Thomas Anung Basuki
Country: Indonesia
Fellowship Category: Research
Research Topic: Formal Aspects of Quality Assurance in Open Source Digital Libraries
Funding Projects: Formal Models for Security, Virtual Libraries, and Formal Analysis of Human Behaviour in Interactive Systems (UNU-IIST)
Starting Date: 11 July 2006
Termination Date: 31 December 2006
External Position: Lecturer at the Parahyangan Catholic University, Bandung, Indonesia.

Ms. Dian Andriana
Country: Indonesia
Fellowship Category: Research
Research Topic: Formal Analysis of Human Behaviour in Mobile HealthCare Systems
Funding Project: Formal Analysis of Human Behaviour in Interactive Systems (UNU-IIST)
Starting Date: 1 March 2006
Termination Date: 30 November 2006
External Position: Researcher at the Indonesian Institute for Science, Bandung, Indonesia

Ms. Norzima Elbegbayan
Country: Mongolia
Fellowship Category: Research
Research Topic: Analysis of Interactive Systems for eGovernment
Funding Project: Formal Analysis of Human Behaviour in Interactive Systems (UNU-IIST)
Starting Date: 15 February 2006
Termination Date: 14 November 2006
External Position: none

Mr. Zhao Xiangpeng
Country: China
Fellowship Category: Research
Research Topic: Verification of Security Properties using Model-checking
Funding Project: Formal Models for Security (UNU-IIST)
Starting Date: 15 February 2005
Termination Date: 8 November 2006
External Position: PhD Student at Peking University, Beijing, China

Mr. Ho Yong Song
Country: DPR Korea
Fellowship Category: Research
Research Topic: Translation from RSL into Promela
Funding Project: Formal Methods Tools (UNU-IIST)
Starting Date: 9 June 2004
Termination Date: 8 March 2005
External Position: Researcher at the Central Information Agency for Science and Technology, Pyongyang, DPR Korea

Mr. Ri Chol Ju
Country: DPR Korea
Fellowship Category: Research
Research Topic: Specification of a Video Conferencing System using UML
Funding Project: Formal Methods Tools (UNU-IIST)
Starting Date: 9 June 2004
Termination Date: 8 March 2005
External Position: Researcher at the Academy of Sciences, Pyongyang, DPR Korea

Mr. Ri Chol Gun
Country: DPR Korea
Fellowship Category: Curriculum Development
Topic: Postgraduate Information System Curriculum for the University of Natural Science in the DPR of Korea
Funding Project: Curriculum Development (UNU-IIST)
Starting Date: 9 June 2004
Termination Date: 8 August 2004
External Position: Master Student at the University of Natural Science, Pyongyang, DPR Korea

Mr. Ri Myong Bok
Country: DPR Korea
Fellowship Category: Curriculum Development
Project Title: Undergraduate Computer Science Curriculum for the DPR of Korea
Funding Project: Curriculum Development (UNU-IIST)
Starting Date: 9 June 2004
Termination Date: 8 August 2004
External Position: Lecturer at the University of Natural Science, Pyongyang, DPR Korea



Past Supervision at the University of Queensland

PhD Candidates
Mr. Benjamin W. Long
Country: Australia
PhD Topic: Formal Verification of Security Protocols
Publications

BACK TO TOP
Created: Wed Feb 15 11:02:06 CST 2006 Feedback
Updated: Thu Oct 18 10:09:36 CST 2007