Hugh Anderson (Visiting Associate Professor)

• Introduction
• Research
• Teaching
• Further Information

Introduction

• Research and Teaching Area
  • Computing Science
• Academic Information
  • PhD, National University of Singapore (NUS), Singapore (2007)
  • MSc, University of the South Pacific (USP), Fiji Islands (1999)
  • BSc Hons, Victoria University of Wellington (VUW), New Zealand (1979)
• Teaching/Academic Experience
  • 2025-Present     Visiting Associate Professor, National University of Singapore (NUS), Republic of Singapore
  • 2023-2024     Two short term visits to SoC to teach on the Summer School (SWS), National University of Singapore (NUS), Republic of Singapore
  • 2010-2023     Associate Professor (until retirement), National University of Singapore (NUS), Republic of Singapore
  • 2008-2009     Research Chair at WelTec (NZ), and two visits to NUS as Visiting Senior Fellow
  • 2000-2007     Lecturer, National University of Singapore (NUS), Republic of Singapore
  • 1998-2000     Lecturer, University of the South Pacific (USP), Fiji Islands
  • 1988-1998     Lecturer and then Principal Lecturer, Central Institute of Technology (CIT), Heretaunga, NZ
• Personal Interests
  • Guitars, old radios, weird old cars (VWs/London taxis)...

Research interests

• Formal methods, refinement, tool support
• Network administration
• Distributed systems
• Encryption

Teaching

• Teaching responsibilities, (NUS) 2024/2025:
  • Semester II: IFS4103 Penetration Testing Practice (Coordinator)
  • Special Term II: DADA2025 Defences against the Dark Arts (Lecturer - the course was previously called DOTA, but now it is DADA!)

• Teaching responsibilities, (NUS) 2000/2023:
  I have taught many courses in SoC over the years, including CS1101c, CS1102, CS1105, CS2106, CS2107, CS2281, CS3103, CS3205, CS3210, CS3211, CS3235, CS3283, CS4236, CS5232, CS5270, DOTA, FMC1202, FMC1201, GEK1531, IFS4205, RI3008, TIC4005...
  Some of these courses I initiated and taught the first time.

• Teaching responsibilities, (USP) 1998/2000:
  In my time at USP (Fiji Islands) I taught CS311, CS312, CS415, CS491 and CS492.

Selected  Publications  and Related Work

• Anderson B, Zhu S, Ke Yang, Wang J, Anderson H, Tay CX, Tan V, and Wang Y. MANA: Designing and Validating a User-Centered Mobility Analysis System. Published in the proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS ’18, pages 321–332, New York, NY, USA, 2018. ACM.
• Zhu S and Anderson, N H and Wang Y, A Real-Time On-Chip Algorithm for IMU-based Gait Measurement, Published in the proceedings of the 2012 Pacific-Rim Conference on Multimedia (PCM2012), October 2012.
• Zhu S and Anderson, N H and Wang Y, Reducing the Power Consumption of an IMU-based Gait Measurement System, Published in the proceedings of the 2012 Pacific-Rim Conference on Multimedia (PCM2012), October 2012.
• Anderson, N H and Khoo, S-C, Regular Approximation and Bounded Domains for Size-Change Termination, Published in the proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10), January 2010.
• Anderson, N H and Ciobanu, G, Markov Abstractions for Probabilistic π-Calculus, Published in the proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems, November 2009.
• Owen, R and Anderson N H, Data Structure Shape Inference and Verification for OO Programs, poster and short paper in the proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering July 2009.
• Anderson, N H and Khoo, S-C, Improving Responsiveness of Hard Real-Time Embedded Systems, Published in the proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering July 2009.
• Anderson, N H and Ciobanu, G and Freitas, L, UTP and Temporal Logic Model Checking (revised version), Published in (LNCS) Proceedings of the 2nd International Symposium on Unifying Theories of Programming (UTP) , September 2008.
• Anderson, N H and Ciobanu, G and Freitas, L, UTP and Temporal Logic Model Checking, Published in the proceedings of the 2nd International Symposium on Unifying Theories of Programming (UTP) , September 2008.
• Anderson, N H and Khoo, S-C and Liu, Y, A Tool for Calculating Exponential Runtime Properties. Published in the proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'07), October 2007.
• Anderson, N H, Exploring Linear Size-Change Terminating Programs, PhD Thesis, NUS 2007, NUS.
• Luca, B and Andrei, S and Anderson, N H and Khoo, S-C, Program Transformation by Solving Recurrences. Published in the proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06) January 2006.
• Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo, Program Transformation by Solving Recurrences, PEPM 2006, Charleston, Jan 2006.
• Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei and Beatrice Luca, Calculating Polynomial Runtime Properties, APLAS 2005, Tsukuba, Nov 2005. Here in pdf.
• Siau-Cheng Khoo and Hugh Anderson, Bounded Size-Change Termination, Tech report, Aug 2005. Here.
• Hugh Anderson and Siau-Cheng Khoo, Affine-Based Size-Change Termination, APLAS 2003, Beijing, Nov 2003. An extended version of the paper is found here in pdf.
• Hugh Anderson and Gabriel Ciobanu, Model-Checking and UTP Design Verification, SEEFM 2003, Greece, Nov 2003.
• Hugh Anderson, Abstract Interpetation with a Theorem Prover, ICFEM 2002, Shanghai, Oct 2002. Here in pdf.
• Hugh Anderson, Formalization and Literate Programming, APSEC 2001, Macau, Dec 2001. Here in pdf.
• Hugh Anderson, 3DVNT - A System for 3D Visualization of Network Traffic, Master's Thesis, MACS 1999, USP.
• Hugh Anderson, 3D Visualization of LAN Traffic, Technical Report.
• Hugh Anderson, Homer Cubed, Technical Report, 1998, MACS, USP.
• J. E. Morris, Hugh Anderson, and Roy Smith, Retrofit Feedback Control of A/F Ratio and Ignition Timing for Fuel Economy, SAE Technical Paper, 82038 (1982). Here in pdf. (Scanned in just-for-fun!)
• Roy Smith, Hugh Anderson and Jim Morris, Data acquisition and analysis in a vehicle with a Commodore PET, J. Phys. E: Sci. Instrum. Vol 15, 1982. Here in pdf.

Books:

• Introduction to Computer Security 2nd Edition, 2005, Pearson/Prentice Hall, ISBN 9789810675776
• Operating Systems 2nd Edition, 2005, McGraw-Hill, ISBN 0071246967
• Introduction to Computer Security, 2004, Pearson/Prentice Hall, ISBN 9812447113
• Introduction to GUI Programming, 2003, Pearson/Prentice Hall, ISBN 9812446591
• Operating Systems, 2002, McGraw-Hill, ISBN 0071234292

Further Information

I came back!

Email Address: hugh@comp.nus.edu.sg or hugh@nus.edu.sg
Telephone: (65) 65164098
Office: COM2 #02-34