Computer Science

This course builds upon knowledge gained in introductory courses on functional programming, languages, and compilers. Using Haskell as the course's language of choice, students look at several advanced functional programming techniques, patterns, libraries, and tools. Course includes lectures, assignments, joint discussions, and programming exercise. Topics covered include: development of tools, testing, debugging and profiling; libraries of data structures, programming languages, monads, monad transformers, arrows, and applicative functors; language features and extensions of multi-parameter type classes and functional dependencies, type families, kinds, generalized algebraic data types (GADTs), existential types, and higher-rank polymorphism.

This course focuses on the organization and structure of a computer. Topics include: data representation; basic arithmetic; execution of instructions; assembly programming; main memory; cache memory; virtual memory; input/output systems.

The aim of the course is to give the necessary knowledge of digital image analysis for further research within the area and to be able to use digital image analysis within other research areas such as computer graphics, image coding, video coding, and industrial image processing problems. The course also prepares students for further studies in computer vision, multispectral image analysis, and statistical image analysis.

The course describes formal languages and the main abstract models of computation.

The design and implementation of efficient, effective, and user-friendly computer systems, including software objects and physical internet-enabled things, depends upon understanding both the technology and its users. Only then can designers be confident that these information appliances will be properly matched to the skills, knowledge, and needs of their users. The study of human-computer interaction (HCI) seeks to combine perspectives and methods of enquiry drawn from disciplines such as interaction design, psychology, and sociology with the tools, techniques, and technologies of computer science to create an approach to design which is both relevant and practical.

This course provides an introduction to the concepts, formalism, and applications of quantum mechanics in different disciplinary fields of science and technology: mathematics, computer science and information technology, basic physics, and physico-chemistry. It includes instruction from specialists within these disciplines in connection with current research issues.