Personal home page, migrated from the old fe.up.pt domain.