Yuan-Fang LI's Homepage

• Research Interests
• Education & Awards
• Work Experiences

•  
• Publications
• Professional Activities
• Links
• Up close & Personal

Research Interests

• Formal design methods (Alloy, Z, PVS)
• Real-time concurrent systems (TCOZ)
• XML environment for formal languages (CZT)
• The Semantic Web, ontology languages (DAML+OIL, OWL, RDF/RDFS, SWRL)
• Software requirements analysis

Education & Awards

Education

• Ph.D. (Hooray!)
  School of Computing (SoC), National University of Singapore (NUS), Aug 2002 - Jul 2006.
  Advisor: Associate Professor DONG, Jin Song
  
  
• Bachelor of Computing (2^nd Class Upper Honors)
  SoC, NUS, Jul 1998 - Jun 2002.
  
  
• Bachelor of engineering
  Department of Precision Instruments and Mechanology , Tsinghua University, China, Sep - Nov 1997

Others

• 25^th Marktoberdorf International Summer School on Engineering Theories of Software Intensive Systems, NATO Science Committee, Munich, Gernamy, 3^rd - 15^th Aug 2004.

Awards

• President's Graduate Fellowship Scholarship (PGF), NUS, Aug 2005 - Jul 2006.
• Singapore Millennium Foundation Scholarship (SMF), Aug 2004 - Jul 2006.
• Dean's Award, SoC, 2004.
• Ministry of Education of Singapore Scholarship, 1997 - 2002.

Work Experiences

• Research fellow                                                                                     Aug 2007 - Present
  School of ITEE, University of Queensland
  Working on the BioMANTA project on the computational modeling and analysis of large-scale protein-protein interaction and compound activity networks using Semantic Web technology. Developing software to convert, store and query about biological data in OWL and RDF.
• Research fellow                                                                                     July 2006 - Aug 2007
  Soc, NUS
  Continuing from the previous one, the current project focuses on applying Semantic Web and software engineering techniques into the development, management and verification of various extensions of the ontology languages. These extensions include the rules extension SWRL, the belief-extension, etc. In this project, the goal is to conduct theoretical research and develop practical tools so that non-expert users of the software engineering tools can apply the techniques with greater ease.
• Research assistant                                                                                 Aug 2002 - Apr 2004
  Soc, NUS
  Working on DSTA-funded research project "Formal Design Methods and DAML". Investigated various ontology checking tools; developed the Z semantics of ontology language DAML+OIL and a transformation tool and uncovered certain errors Semantic Web tools cannot find. Proposed a combinational approach to more effectively analyze ontologies and uncover errors.
• Part-time teaching assistant                                                                 Aug 2001 - Apr 2002
  Soc, NUS
  Responsible for setting up the lab equipments, instructing students with experiments and marking lab scripts.
• Contract programmer                                                                           May 2001 - Jul 2001
  Speaking-Chinese.com Pte., Ltd., Beijing, P.R.China
  Participated in the development of one of the company's major product: a multimedia Chinese language education CD-ROM. Responsibility was to integrate Flash components into the CD-ROM using Visual C++.
• Intern programmer                                                                               Jul 2000 - Nov 2000
  Techron Integrated Systems Pte., Ltd., Singapore
  Involved in the development of a loyalty system based on smart card technology. Both memory and microprocessor cards were employed. Familiarized myself with the concepts and working of smart card. Also acquired working knowledge of credit card machine client-side implementation, remote authentication and reading from and writing onto credit cards. An ActiveX OCX component was developed in Visual Basic as part of an accounting software package.

Publications

Tech reports:

Professional Activities

• Assistant proceedings editor
  5^th International Conference on Formal Engineering Methods (ICFEM’03), Singapore
  Edited the conference proceedings, responsible for liasing with authors and the publisher, compiling the source files and generating front page matters, Table of Contents, Author Index, etc.
• Web master
  5^th International Conference on Formal Engineering Methods (ICFEM’03), Singapore
  Administrator of the conference’s online papers submission and review system, which handled 100 submitted papers with 3 rounds of submissions and 40 reviewers; and automatically generated various reports periodically. Also partially responsible for updating the conference main web site.
• International referee
  • APSEC (2003, 2004)
  • ACSC (2006)
  • ASWEC (2005, 2006)
  • AWRE (2004)
  • ICECCS (2005)
  • VLHCC (2006)
  • TSE
  • ICTAC (2006)
  • ZB (2005)
  • ZUM (2006)
  • ICDCIT (2004)
  • ICFEM (2003, 2004)
  • FORTE (2005)
  • IFM (2004)
  • PLC (2005)
  • SEFM (2004)
  • SEKE (2005, 2006)
  • IEHSC (2005)
  • ATVA (2005)
  • FM (2005)
  • ISoLa (2004)
  • WLFM (2005)
  • PRIMA (2005)

Links

• My Ph.D. supervisor, A/P Dong Jin Song
• Sun Jing (The University of Auckland, New Zealand)
• Wang Hai (University of Southampton, UK)
• Sun Jun (SoC, NUS)

Last updated: 6 June, 2007