Roberto's new home page is at
https://www.tamassia.net