This website has moved to https://www.inf.usi.ch/faculty/backendal/.