DEPARTMENT OF THEORETICAL AND APPLIED COMPUTER SCIENCE