Hugh ANDERSON

Associate Professor
Ph.D. (National University of Singapore, Singapore)
M.Sc. (University of the South Pacific, Fiji)
B.Sc. (Victoria University of Wellington, New Zealand)
COM2-03-24
651 64262

http://www.comp.nus.edu.sg/~hugh

Research Areas

  • Programming Languages & Software Engineering
  • Security
  • Systems & Networking

Research Interests

  • Embedded Systems
  • Program Verification including Parallel Systems Computer Security
  • Computer Security

Profile

Hugh Anderson is an Associate Professor (teaching track) in the Department of Computer Science at the School of Computing, here at the National University of Singapore (NUS). Prior to joining NUS he was employed at USP (The University of the South Pacific) in Suva, Fiji, where he lectured in the CS department there, specializing in Operating Systems and Networking. He has also been employed at CIT (Central Institute of Technology) in NZ as a Principal Lecturer, and at Weltec (Wellington Institute of Technology) as Research Chair, in the Centre for Creative Technologies. For many years, Hugh worked as a consultant, developing a range of products including (computer based) fuel saving techniques, designing and implementing a network monitoring system, designing and implementing both the hardware and software for cash registers, petrol pumps, a spark eroder, remote monitoring stations, hospital foetal monitoring systems, security systems based on phones and so on. Hugh is a local, earning his Ph.D. right here in SoC. Professor Anderson has wide interests in computing, including compiler design, functional languages, non-V-N computer architectures, operating systems, datacomms, distributed systems, formal methods, software verification and validation, distributed and parallel computing, and embedded systems. These days he spends a lot of time developing embedded systems software for wearable sensors.

Current Projects

  • Wearable sensor system for gait/mobility measurement Indoor navigation (UWB and so on)

Selected Publications

  • 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 \pi-Calculus, Published in the proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems, November 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 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 and Khoo, S-C and Andrei, S and Luca, B, Calculating Polynomial Runtime Properties. Published in the proceedings of Asian Symposium on Programming Languages and Systems (APLAS'05), November 2005.

  • ANDERSON, N H and Khoo, S-C, Affine-based Size-Change Termination.

    Published in the proceedings of First Asian Symposium on Programming Languages and Systems (APLAS'03), November 2003.

Awards & Honours

  • Professor Anderson has won Excellent Teacher awards at SoC in 2004, 2005, 2012, 2013 and 2015, and at NUS (ATEA) in 2004 and 2015.

Teaching (2019/2020)

  • CS3235: Computer Security
  • IFS4205: Information Security Capstone Project