Hugh Anderson (Visiting Associate Professor)
Introduction
- Research and Teaching Area
- 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 for DOTA, 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: DOTA2024 Defence of the Ancients (Lecturer)
- 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
- 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.
- 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. Here in pdf.
- Hugh Anderson, 3D Visualization of LAN Traffic, Technical
Report. Here
in pdf.
- Hugh Anderson, Homer Cubed, Technical Report, 1998, MACS,
USP. Here
in pdf.
- 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
Hey! I moved back home to New Zild, where I was having fun with my railway wagons. But then....
I came back!
Email
Address:
hugh@comp.nus.edu.sg or hugh@nus.edu.sg
Telephone: (65) 65164098
Office: COM2 #02-34
