Associate Professor in the School of Computing and Faculty of Engineering
University Scholars Programme
at the National University of Singapore
SoC (Department of Computer Science): COM2, 3-51, 13 Computing Dr, Singapore 117417
FoE (Innovation & Design Centric Programme): E2A 03, 5 Engineering Drive 2, Singapore 117579
USP: Joint Appointee Room (Level 2), 18 College Avenue East, Singapore 118593
(make an apointment via email or WhatsApp/SMS)
Email: replace "http://www." in this URL by "henz@" and you're really close
My research spans
combinatorial optimisation, FPGAs, programming
tools and languages, and most recently electric vehicles,
with publications in IJCAI,
programming, programming languages and
logic, and supervise design projects.
Together with Dr Jörg Weigl and Brian Teo, I initiated the
prototyping studio at the Innovation & Design Centric Programme in the Faculty of
Engineering at NUS. So far, more than 30 FrogWorks students have developed
green vehicles that operate on land, at sea and in the air.
Together with Alan Sevugan, I
founded the software company FriarTuck,
schedule countless employees
and surgeries every day, in Singapore and the region.
I love, swim, sail, ride, and do yoga and acting.
I obtained a Dr.rer.nat. in Computer Science at Saarland University in 1997 and a Masters in Computer Science at Stony Brook University in 1993.
I joined NUS after my doctorate, in 1997. Computer Science was
at the time part of the Department of Information Systems and
Computer Science in the Faculty of Science. The School of Computing
was formed in 1998. I joined the University Scholars Programme
when it started its residential
programme in 2011, and the
Innovation & Design Centric Programme
in July 2016.
Before my doctorate,
I worked as research scientist at
Saarland University and
Research Center for Artificial Intelligence.
I worked as a nursing assistant in the
from 1987 to 1989, before the
asylum was abolished in 1998.
- Electric vehicles: I am guiding students in the design of novel
electric vehicles on
land, at sea and
in the air
(twice) in the
design and prototyping studio
the Engineering Design & Innovation Centre.
I'm interested in tools and methods for teaching
More recently, I've been involved in a study on change propagation in engineering projects.
With my graduate student Rahul Singhal and Shubham Goyal, I'm trying to automatically
and the sciences.
- Combinatorial optimization:
I've solved combinatorial search and optimization problems
as a combinatorial search problem.
- Field-programmable Gate Arrays: With Roland Yap, Edgar Tan, and
Stella Wang, I investigated
implementations of local search algorithms.
- Programming tools and languages:
I was part of the group around Gert
Smolka that developed the
in the 1990s, and my doctoral dissertation, published with
Kluwer as a monograph covered
object-oriented aspects of the
language. We also explored the use of Oz for multi-agent
systems. With my Master students Kevin Ng and Jeff Choi,
components for constraint-based search.
- Term rewriting: In a previous life, I worked on term rewriting modulo AC1.
In the School of Computing, I currently teach
with my colleague Low Kok-Lim. CS1101S is a rigorous, thorough, gamified and
immersive introduction to programming and programming methodology. The module
follows the didactic strategy
of the classic textbook Structure and Interpretation of Computer
I am translating
- I've taught
CS4215 Programming Language Implementation
CS3234 Logic and Formal Systems
for many years.
- In the University Scholars Programme, I have taught
The Importance of Being Formal.
- I love getting students involved in
engineering projects and have
joined the Design-Centric Programme (DCP)
in the Engineering Design & Innovation Centre
to facilitate project-based learning.
My current DCP projects engage students in the design and prototyping
FrogWorks, where these machines are being built:
In the University Scholars Programme, I facilitate a biannual informal course
of Sailing. A theory session with a trained physicist establishes the principles
and a practical session on
Bo Bo Cha Cha verifies them
(so far, we haven't managed to falsify any).
I facilitate outdoor education and experiential learning. I have conducted student sailing voyages
in Singapore in
and to Bintan, Indonesia, in
In 2016, I organized a
paragliding course in Thailand,
as part of the engineering project The Delta.
In 2017, I organized a sailing voyage
Across The Equator
with 9 NUS students and 3 alumni on
board the sailing ship Four Friends.
With my Residential Assistants, I also
facilitate a biannual
sailing course for
My wife Kelly Reedy is
an artist and currently
studying to become an art therapist.
Our son Jakob lives currently in Shenzhen, China, and our daughter Luisa
is studying in Vancouver, Canada.
I swim butterfly every day, usually in
Clementi Swimming Complex or in the Delta Swimming Complex
(public pools in Singapore), and have participated three times
in the Kapas-Marang International Swimmathon (6.5 km open sea).
I love sailing my masthead sloop
Bo Bo Cha Cha, a Maxi 77 built in Singapore in 1980. Here is what it's like on board when there's a fresh breeze, and this is serious sailing reaching Horsburgh Lighthouse in the South China sea during the North-East Monsoon. Bo Bo Cha Cha is Singapore's only
carbon-neutral motorized vessel.
This is my first real bike, a Yamaha XJR400, just before it was
scrapped. I currently ride a Honda ST1300, and had a BMW R1100R in between.
Yoga: Daily, of course! I like to get students involved, too, as
seen here, practicing Shadow Yoga.
Acting: I've been involved in around 10 shows produced by
The Stage Club
since 2010, and
played Mr Scoblowski in Daisy Pulls it Off, Francis Nurse in
a director in Calendar Girls
and various roles in The Taming of the Shrew,
Bram Stoker's Dracula
(see picture) and the Christmas Pantos Aladdin, Little Red Riding Hood, Sleeping Beauty and Jack and the