My homepage has moved to https://researcher.ibm.com/researcher/view.php?person=us-hirzel.