National University of Singapore

who are the next? and new

Dr. DONG, Jin Song Associate Professor (NGS Supervisor) Computer Science Dept, School of Computing, National University of Singapore 3 Science Drive 2, Singapore 117543 E-mail: dongjs at comp dot nus dot edu dot sg Telephone: +65 65164353 Fax: +65 67794580 Office: S17-04-18

Teaching

• CS4211 Advanced Software Engineering (past: CS2103 Software Engineering, CS1301 Discrete Maths) (First Term)
• CS5232, Formal Specification and Design Techniques (Second Term)
• PhD Students

Research areas

• model analysis and verification (PAT)
• context awareness and pervasive computing (Semantic Space)
• real-time concurrent system specification (TCOZ)
• web semantics, services, agent and reasoning
• formal methods and safety critical systems
• object, component, and language semantics

Qualifications

• PhD, University of Queensland, Australia (93 - 95) 

• BInfTech with First Class Honours, University of Queensland, Australia (89-92) - Major in Software Engineering.
  

Work Experiences

• Faculty member (1998 - current),
  Computer Science Department , School of Computing, National University of Singapore (NUS)
  
  • Member of PhD supervisors at NUS Graduate School for Integrative Sciences and Engineering (NGS)
  • Assistant Dean (Graduate Office, SoC, 2005-2008).
  • Search Committee Member (CS Department, 2005-2008).
  • Graduate Committee Member (Graduate Office, SoC, 2001-current).
  • Publication Ranking Committee (CS Department, 2001-current).
  • PhD QE Co-ordinator (CS Department, 2008-current).
  • SINGA committee Member (NUS, 2007-current).
• Senior Research Scientist (1998),
  Research Scientist (1995-98),
  Division of Mathematical and Information Sciences,
  Commonwealth Scientific and Industrial Research Organisation (CSIRO), Australia
• Tutor (1991-95), CS Department, The University of Queensland.
• Senior Research Assistant, Software Verification Research Centre (11/92-1/93)
  Research Assistant, CS Dept, The University of Queensland (11/91-1/92)

Some Awards/Recognition

• IEEE Certificate of Appreciation for Outstanding Service as the Program Co-Chair at the 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), by IEEE Computer Society
• Visiting Fellow at Kellogg College, Oxford University (elected during 2006 sabbatical)
• NUS Young Researcher Award (2004)
• Richard Jago Memorial Prize (1995),
• Australian Postgraduate Award (93-95)

Some Professional and Research Activities

• Organisations:
  • Editorial Board Member of Formal Aspects of Computing Journal
  • Editorial Board Member of Innovations in Systems and Software Engineering, A NASA Journal
  • Steering Committee Member of ICFEM, International Conference on Formal Engineering Methods
  • Steering Committee Member of APSEC, Asia-Pacific Software Engineering Conference
  • Conference Co-Chair of 6th International Conference on Integrated Formal Methods (IFM'07), Oxford, UK, 2-6 July 2007
  • Program Co-Chair of 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), Auckland, NZ, 11-14 July 2007.
  • Tutorial Chair of the 14th International Symposium on Formal Methods, FM 2006, Canada.
  • Program Co-Chair of International Workshop on Web Languages and Formal Methods WLFM 2005, UK.
  • Program Co-Chair of ICFEM 2003, Singapore.
  • Program Co-Chair of APSEC 2000, Singapore.
• Program Committee Member of
  • The 5th Annual European Semantic Web Conference ESWC 2008, Tenerife, Spain. 2008
  • The 5th International Semantic Web Conference ISWC 2006, Athens, USA. and SWESE 2006
  • 10th ICFEM 2008, Kitakyushu-City, Japan. ICFEM'07, Florida, USA.. ICFEM'05, Manchester UK. ICFEM'04, Seattle USA. ICFEM'03, Singapore. ICFEM'02, Shanghai China, ICFEM'00, York UK , ICFEM'98, Brisbane Australia
  • 13th FM'05, Newcastle, UK. FM'99, World Congress, Toulouse France, 1999.
  • 4th International Conference of B and Z Users ZB'05, Guildford UK,
  • 6th International Conference on Integrated Formal Methods IFM'07, Oxford, UK, IFM'05, Eindhoven, The Netherlands. Nov 2005 , IFM'04, Canterbury UK . IFM'02, Turku, Finland . IFM'00, Schloss Dagstuhl, Germany . IFM'99, York, UK .
  • 11th IEEE International Conference on Engineering of Complex Computer Systems ICECCS'06, Stanford University, USA. ICECCS'05, Shanghai China. ICECCS'04, Florence, Italy. ICECCS'02, Greenbelt USA. ICECCS'01, Skovde, Sweden . ICECCS'00, Tokyo, Japan. ICECCS'99, Las Vegas, USA.
  • 8th International Conference on Quality Software, QSIC'08, Oxford, UK. QSIC'07, Oregon USA . QSIC'05, Melbourne Australia. QSIC'04 Braunschweig Germany. QSIC'03, Dallas USA. APAQS'01, Hong Kong .
  • 15th APSEC'08, Beijing, China. APSEC'07, Nagoya, Japan. APSEC'06, Bangalore, India. APSEC'04, Busan, Korea. APSEC'03, Chiangmai, Thailand. APSEC'02, Gold Coast, Australia . APSEC'01, Macau . APSEC'00, Singapore . APSEC'99, Takamatsu Japan
  • 5th IEEE International Conference on Software Engineering and Formal Methods SEFM'07, London, UK. SEFM'05, Koblenz Germany. SEFM'04, Beijing China. SEFM'03, Brisbane Australia.
  • 20th International Conference on Software Engineering and Knowledge Engineering, SEKE'08, San Francisco, USA. SEKE'07, Boston, USA. SEKE'06, San Francisco Bay, USA.
  SEKE'05, Taipei Taiwan, 2005
• Research projects

Publications

Editorship

• A. Arenas, J. S. Dong, A. Martin, B. Matthews (Editors). Special Issue on Web Languages and Formal Methods (WLFM'05). Electr. Notes Theor. Comput. Sci. 151(2): (2006)
• J. S. Dong and J. Woodcock (Editors), Formal Methods and Software Engineering, Proceedings of the 5th International Conference on Formal Engineering Methods, LNCS (vol 2885), Springer-Verlag, Nov 2003.
• J. S. Dong, J. He and M. Purvis (Editors), Proceedings of The 7th Asia-Pacific Software Engineering Conference, IEEE Press. Dec 2000.

Refereed Papers in Journals/Monographs/Conferences (partial list)

• J. S. Dong, P. Hao, S. C. Qin, J. Sun and Y. Wang, Timed Automata Patterns. IEEE Transactions on Software Engineering, 2008. (accepted)
• N. N. Tun and J. S. Dong. Ontology Generation through a Fusion of Partial Reuse and Relation Extraction , 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008. (accepted)
• C. Chen, J. S. Dong and J. Sun. A Verification System for Timed Interval Calculus, The 30th International Conference on Software Engineering (ICSE'08), 2008. (accepted)
• K. Taguchi and J. S. Dong. Formally Specifying and Verifying Mobile Agents : Model Checking Mobility, International Journal of Agent-Oriented Software Engineering, 2008.
• H. Wang, J. S. Dong, J. Sun, T. Payne, N. Gibbins, Y. F. Li and J. Pan. An Integrated Formal Approach to Semantic Work Environments Design. Chapter in Book: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, 2008.
• C. Chen, J. S. Dong and J. Sun. A Machine-Assisted Proof Support for Validation Beyond Simulink, 9th International Conference on Formal Engineering Methods (ICFEM 2007), Florida, 2007.
• J. S. Dong, Y. Feng and H-F. Leung: A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75
• J. Sun and J. S. Dong, Design Synthesis from Interaction and State-based Specifications. IEEE Transactions on Software Engineering, Vol-32(6):349-364, 2006
• H. Wang, J. S. Dong, J. Sun and J. Sun. Reasoning Support for Semantic Web Ontology Family Languages Using Alloy. International Journal of Multiagent and Grid Systems, IOS press, Vol-2(4):455-471, 2006.
• L. Yuan, J. S. Dong, J. Sun and H. A. Basit. Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Transactions on Reliability. Vol-55(3):421-435, 2006
• J. Sun, J. S. Dong, S. Jarzabek and H. Wang. CAD System Family Architecture and Verification: An Integrated Formal Approach. IEE Proceedings Software. Vol-153(3):102-112, 2006.
• J. S. Dong, P. Hao, X. Zhang, and S. Qin, HighSpec: a Tool for Building and Checking OZTA Models. 28th International Conference on Software Engineering (ICSE06). Research Demonstration. ACM Press, pp 775-778, 2006
• D. Lucanu, Y.F. Li, J.S. Dong: Semantic Web Languages - Towards an Institutional Perspective. Essays Dedicated to Joseph A. Goguen, LNCS Springer, 2006: 99-123
• H. Liang, J. S. Dong, J. Sun, R. Duke, R. E. Seviora: Formal Specification-based Online Monitoring. ICECCS 2006: 152-162
• J. S. Dong, Y. Liu, J. Sun, X. Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
• J. S. Dong, P. Hao, J. Sun, X. Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
• C. Chen, J. S. Dong: Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93
• J. S. Dong: From semantic web to expressive software specifications: a modeling languages spectrum. ICSE 2006: 1063-1064
• J. Sun and J. S. Dong, Synthesis of Distributed Processes from Scenario-based Specifications. Formal Methods 2005 (FM'05), LNCS, pp 415-431, Newcastle, UK. 2005.
• J.S. Dong and P. Hao and B. Mahony, Formal Designs for Embedded and Hybrid Systems. International Journal on Software Engineering and Knowledge Engineering, vol 15(2): 373-378, 2005
• D. Lucanu, Y. F. Li and J. S. Dong. Institution Morphisms for Relating OWL and Z. In 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pp 286-291, 2005.
• H. Wang, J. S. Dong, J. Sun and Y. F. Li. TCOZ Approach to OWL-S Process Model Design. SEKE'05:354-359, 2005.
• H. Wang, J. S. Dong and J. Sun. Reasoning Support for SWRL-FOL Using Alloy. SEKE'05: 626-631, 2005.
• J. Sun and J. S. Dong, Extracting FSMs from Object-Z Specifications with History Invariants. The 10th International Conference on Engineering of Complex Computer Systems (ICECCS'05),pp 96-105, 2005.
• J. S. Dong, R. Duke and P. Hao, Integrating Object-Z with Timed Automata . ICECCS'05:488-497, 2005. (pdf)
• J. Sun and J. S. Dong, Model Checking Live Sequence Charts. ICECCS'05:529-538, 2005.
• D. Lucanu, Y. F. Li, J. S. Dong: Soundness proof of Z semantics of OWL using institutions. WWW (Special interest tracks and posters) 2005: 1048-1049
• J. S. Dong, P. Hao, S. C. Qin, J. Sun and Y. Wang, Timed Patterns: TCOZ to Timed Automata. The 6th International Conference on Formal Engineering Methods (ICFEM'04), editors: J. Davies, W. Schulte and M. Barnett, LNCS, pp 483-498, Seattle. 2004.
• X. Wang, D. Zhang, J. S. Dong, C. Chin and S. R. Hettiarachchi. Semantic Space: A Semantic Web Infrastructure for Smart Spaces. IEEE Pervasive Computing, 3(3):32-39, July-September 2004. (pdf)
• J. S. Dong, C. H. Lee, H. B. Lee, Y. F. Li and H. Wang. A Combined Approach to Checking Web Ontologies. 13th ACM International World Wide Web Conference (WWW'04), refereed track, ACM Press, pages 714-722, NYC, USA, 2004. ( pdf )
• J. S. Dong, C. H. Lee, Y. F. Li and H. Wang, Verifying DAML+OIL and Beyond in Z/EVES. The 26th International Conference on Software Engineering (ICSE'04), ACM/IEEE Press, pp 201-210, Edinburgh, 2004.
• J. S. Dong. Software Modeling Techniques and the Semantic Web. The 26th International Conference on Software Engineering (ICSE'04), ACM/IEEE Press, Edinburgh, Scotland, 2004. (tutorial, slides in ps.Z (compressed ps file) or pdf )
• J. S. Dong, S. C. Qin and J. Sun. Generating Message Sequence Charts from an Integrated Formal Specification Language The 4th International Conference on Integrated Formal Methods, editors: E. Bioten, J. Derrick and G. Smith, LNCS, Springer-Verlag, pp 168-186, Canterbury, UK, 2004.
• K. Taguchi, J. S. Dong and G. Ciobanu. Relating Pi-calculus to Object-Z. The 9th IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04), editors: P. Bellini, S. Bohner and B. Steffen, IEEE Press, pp 97-106, Florence, Italy, 2004.
• J. S. Dong, J. Sun and H. Wang. Checking and Reasoning about Semantic Web through Alloy. 12th International Symposium on Formal Methods Europe (FM'03). editors: K. Araki, S. Gnesi and D. Mandrioli, LNCS, pages 796-813, Springer-Verlag, Pisa, Italy, 2003.
• S. C. Qin, J. S. Dong and W. N. Chin. A Semantic Foundation of TCOZ in Unifying Theory of Programming. FM'03. LNCS, pages 321-340, 2003.
• M. Utting, I, Toyn, J. Sun, A. Martin, J. S. Dong, N. Daley and D. Currie. ZML: XML Support for Standard Z. 3rd International Conference of Z and B Users (ZB'03), LNCS, Springer-Verlag, pages 437-456, Turku, Finland, 2003.
• B. Mahony and J.S. Dong. Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing journal, 13:142-160, Springer, 2002.
• J. Sun and J. S. Dong. Specifying and Reasoning about Generic Architecture in TCOZ. 9th Asia-Pacific Software Engineering Conference (APSEC'02), IEEE Press, pages 405-414, Gold Coast, Australia, 2002.
• J. Sun, J. S. Dong, J. Liu and H. Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering: An international journal, 13:329-356, Kluwer Academic Publishers, 2002.
• J. S. Dong, J. Sun and H. Wang . Z Approach to Semantic Web. International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 156-167, Shanghai, 2002. (pdf)
• J. S. Dong, Y. F. Li, J. Sun, J. Sun and H. Wang. XML-based static type checking and dynamic visualization for TCOZ. ICFEM'02, pages 311-322, 2002. (pdf)
• K. Taguchi and J. S. Dong. An Overview of Mobile Object-Z. ICFEM'02. pages 144-155, 2002.
• J. S. Dong, J. Sun and H. Wang. Semantic Web for Extending and Linking Formalisms. Formal Methods Europe (FME'02 - FLoC), LNCS, Springer-Verlag, pages 587-606, Copenhagen, 2002. (pdf)
• J. Sun, J. S. Dong, J. Liu and H. Wang. Object-Z Web Environment and Projections to UML. 10th ACM International World Wide Web Conference (WWW'01), refereed track, pages 725-734, ACM Press, HK, 2001.
• J. S. Dong, State, Event, Time and Diagram in System Modeling, 23th International Conference on Software Engineering (ICSE'01), pages 733-734, IEEE Press, Toronto, 2001. ( pdf , tutorial slides in pdf )
• J. Liu, J.S. Dong, B. Mahony and K. Shi. Linking UML with Integrated Formal Techniques. chapter in Book: Unified Modeling Language: Systems Analysis, Design, and Development Issues (Editors: K. Siau and T. Halpin), pages 210-223, 2001.
• B. Mahony and J.S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, Feb 2000. (pdf)
• J. Liu, J.S. Dong and J. Sun. TRMCS in TCOZ. 10th IEEE International Workshop on S/W Spec & Design (IWSSD'00), IEEE Press, pages 63-72, San Diego, 2000
• J.S. Dong, B. Mahony and N. Fulton. Capturing Periodic Concurrent Interactions of Mission Computer Tasks , The 6th Asia-Pacific Software Engineering Conference (APSEC'99), IEEE Press, pages 538-545, Takamatsu, Japan, 1999.
• B. Mahony and J.S. Dong. Sensors and Actuators in TCOZ. World Congress on Formal Methods (FM'99), editors: J. Wing, J. Woodcock and J. Davies. LNCS, Vol 1709, pages 1166-1185, Springer-Verlag, Toulouse, France, 1999. (pdf)
• J.S. Dong, B. Mahony and N. Fulton. Modeling Aircraft Mission Computer Task Rates , World Congress on Formal Methods (FM'99), 1999.
• J.S. Dong, S. Jarzabek and L. O'Brien. From an Object Semantic Model to a Design of Static Program Analyser. The 11th International Conference on Software Engineering and Knowledge Engineering (SEKE'99), pages 354-361, Kaiserslautern, Germany. 1999. (postscript)
• B. Mahony and J.S. Dong. Overview of the Semantics of TCOZ. Integrated Formal Methods (IFM'99), editors: K. Araki, A. Galloway and K. Taguchi, pages 66-85, Springer-Verlag, York, UK, 1999. (postscript)
• J.S. Dong and B. Mahony. Active Object in TCOZ. In Proceedings of the 1998 IEEE International Conference on Formal Engineering Methods (ICFEM'98), editors: J. Staples, M. Hinchey and S. Liu. IEEE Press, pages 16-25, Brisbane, Australia, 1998. (postscript)
• B. Mahony and J.S. Dong. Network Topology and a Case Study in TCOZ. In Proceedings of the 11th International Conference of Z Users (ZUM'98), editors: J. P. Bowen, A. Fett and M. G. Hinchey, LNCS:1493, pages 308-327, Springer-Verlag, Berlin, 1998. (postscript)
• B. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In Proceedings of the 20th International Conference on Software Engineering (ICSE'98), editors: K. Futatsugi and R. Kemmerer and K. Torii, IEEE Press, pages 95-104, Kyoto, Japan, 1998. (postscript).
• J.S. Dong. Formal Methods Conference Looks for Practical Connections. IEEE Software 15(1), January/February, 1998.
• J.S. Dong, N. Fulton, L. Zucconi and J. Colton. Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program. In Proceedings of the IEEE International Conference on Formal Engineering Methods (ICFEM'97), editor: M. Hinchey and S. Liu, IEEE Press, Hiroshima, Japan, 1997. (postscript)
• J.S. Dong, R. Duke and G. Rose. An Object-Oriented Denotational Semantics of A (block-structured sequential) Programming Language. Object-Oriented Systems (OOS) journal 4(1):29-52, Chapman Hall, 1997.
• J.S. Dong, L. Zucconi and R. Duke. Specifying Parallel and Distributed Systems in Object-Z. In Proceedings of the 2nd IFIP International Workshop on Software Engineering for Parallel and Distributed Systems, Boston, USA, pages 140-149, IEEE Press, 1997. (postscript)
• J.S. Dong, J. Colton and L. Zucconi. A Formal Object Approach to Real-Time specification. In Proceedings of the 1996 Asia-Pacific Software Engineering Conference (APSEC'96). IEEE Press, Seoul, Korea, 1996. (postscript)
• J.S. Dong and R. Duke. A Formal Object Model of an Object-Oriented Programming Language. In Proceedings of the 20th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'USA96), Santa Barbara, USA, 1996.
• J.S. Dong and R. Duke. The Geometry of Object Containment. Object-Oriented Systems (OOS) journal 2(1):41-63, Chapman Hall, 1995. (pdf)
• J.S. Dong. Living with Free Type and Class Union. In Proceedings of the 1995 Asia-Pacific Software Engineering Conference (APSEC'95), pages 304-312, IEEE Press, Brisbane, Australia, 1995. (postscript)
• J.S. Dong, G. Rose and R. Duke. The Role of Secondary Attributes in Formal Object Modelling. In Proceedings of the First IEEE International Conference on Engineering Complex Computer Systems (ICECCS'95). pages 31--38, Ft. Lauderdale, USA, IEEE Press, 1995. (pdf)
• J.S. Dong and R. Duke. Exclusive Control within Object Oriented Systems. In Proceedings of the 18th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'Pacific95). Melbourne, Australia, pages 123-132, Prentice-Hall, 1995. (pdf)
• J.S. Dong and R. Duke. An Object-Oriented Approach to the Formal Specification of ODP Trader. In Open Distributed Processing, II,  IFIP Transactions C: Communication Systems, C-20:341-352, North-Holland, 1994. (postscript)
• J.S. Dong, R. Duke and G. Rose. An Object-Oriented Approach to the Semantics of Programming Languages, Australian Computer Science Communications, 16(1):767-775, 1994. (postscript)
• J.S. Dong and R. Duke. Class Union and Polymorphism. In Proceedings of the 12th International Conference on Technology of Object-Oriented Languages and Systems, pages 181-190, Prentice-Hall, 1993. (postscript)

PhD Thesis

• J.S. Dong Formal Object Modelling Techniques and Denotational Semantics Studies. Computer Science Department, The University of Queensland, October 1995. thesis info , (postscript)

Keynote/Invited-Talk/Tutorial...:

• J. S. Dong, Invited Talk: A Spectrum of Modeling languages and Transformations. The Fourth Workshop on Programmable Structured Documents, University of Tokyo, Japan, Dec 2005.
• J. S. Dong, Half-Day Tutorial: Modeling Languages Spectrum: From Web Ontology to Behaviour Specifications Formal Methods 2005 (FM'05), University of Newcastle upon Tyne, UK. July 2005.
• J. S. Dong, Half-Day Tutorial: Software Engineering Approach to Semantic Web. 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), Shanghai, China. June 2005. Slides in pdf
• J. S. Dong, Invited Talk: Formal Designs for Embedded and Hybrid Systems, International Conference on Embedded and Hybrid Systems (IEHSC), Singapore, May 2005.
• J. S. Dong, Keynote: Semantic Web in Action - Modeling and Verification, 4th International Conference on Internet Information Retrieval (ICIIR'04), Nov, Seoul, Korea, 2004.
• J. S. Dong. Full-Day Tutorial: Software Modeling Techniques and the Semantic Web. The 26th International Conference on Software Engineering (ICSE'04), ACM/IEEE Press, Edinburgh, Scotland, 2004. (slides in ps.Z (compressed ps file) or pdf )
• J. S. Dong, Half-Day Tutorial: Semantic Web and Formal Methods. 12th International Symposium on Formal Methods Europe (FM'03). Pisa, Italy, 2003. Slides in ( ps or ( pdf )
• J.S. Dong, Full-Day Tutorial: Integrated Formal Modeling Techniques and UML , 23rd International Conference on Software Engineering (ICSE'01), Toronto, Canada, 2001. ( slides with solutions in pdf )
• J.S. Dong Half-Day Tutorial: Timed Multi-Threaded Formal Object Modeling Techniques , 6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'00) Tokyo, Japan. 2000

PhD/MSc Students

Current

• CHEN Chunqing (PhD, supported by A*STAR project grant)
• FENG Yuzhang (PhD, supported by MOE project grant)
• LIU, Yang (PhD, supported by MOE project grant, won Microsoft Asia Research Fellowship 2007)
• LAM, Edmund Soon Lee, PhD (PhD, supported by MOE project grant, co-advisor)
• ZHANG, Xian (PhD, supported by MOE project grant)

Completed/Submitted

• SUN, Jing (PhD 2003, won Dean's Graduate Award and President's Graduate Fellowship, -> Senior Lecturer at The University of Auckland)
• WANG, Hai (PhD 2004, won Dean's Graduate Award, -> Research Fellow at University of Southampton)
• SUN, Jun (PhD 2006, won Dean's Graduate Award, -> Lee Kuan Yew Postdoctoral Fellow at SoC/NUS)
• LI, Yuanfang (PhD 2006, won Dean's Graduate Award, President's Graduate Fellowship and Singapore Millennium Foundation PhD Scholarship, -> Research Fellow at The University of Queensland)
• HAO, Ping (PhD 2008, -> Senior Engineer at Resolvo Systems)
• YUAN, Ling (PhD 2008, -> Assistant Professor at Huazhong University of Science and Technology)
• LIANG, Hui (PhD 2008, won IDA Fellowship, -> Postdoc at University of Texas at Dallas)
• WANG, Xiaohang (MSc, co-advisor, -> Google (New York City Lab))
• Huang, Xiaoning (MSc)
• TANG, Yue Linda (MSc)
• WANG, Yan (MSc)
• LIU, Jing (MSc)
• ONG, Wai Chun West Jean (MSc, co-advisor)
• TEH, Hsin Yee (MSc, co-advisor)

Useful things to know about PhD research:
Oxford University Computing Lab (preparation in pdf) ,
H.T. Kung Harvard University
M. Bellare, UCSD

Note: I am currently interested in taking new PhD students. Contact me only if you are very interested in formal methods and are exceptionally strong in discrete maths and logic.

Computer Science Department School of Computing