Hugh Anderson

Hugh is an Associate Professor in the Computer Science Department at the
National University of Singapore (NUS). In the past Hugh researched in the
area of program verification, in particular termination and runtime
analysis, but more recently has been working with embedded systems, both
hardware and software. In a previous life, he was an electronic engineer,
developing a large range of embedded systems. He enjoys playing guitar.