inf2440 at ifi/uio