arbetsmarknaden. Vi ger även utbildningar för redan yrkesverksamma. Efter utbildningen kan du till exempel jobba som systemutvecklare,

Transkript

1 IT-utbildningarna vid Göteborgs universitet handlar om allt från matematik och högteknologisk kreativitet, till hur man anpassar systemen för människorna som ska använda dem. Kurserna och programmen har en nära koppling till forskning, industri och samhälle och våra studenter har blivit mycket eftertraktade på arbetsmarknaden. Vi ger även utbildningar för redan yrkesverksamma. Efter utbildningen kan du till exempel jobba som systemutvecklare, it-strateg, projektledare, mjukvaruspecialist, interaktionsdesigner eller expert inom datasäkerhet. Ämnen, fristående kurser Datavetenskap Informatik Pedagogik med inriktning mot IKT och lärande Software engineering Språkteknoligi Tillämpad informationsteknologi Program, grundnivå Datavetenskapligt program Software Engineering and Management, Bachelor s Programme Systemvetenskap: IT, människa och organisation, kandidatprogram Program, avancerad nivå Computer Science, Master s Programme International Master s Programme in Information Technology and Learning IT Management, masterprogram Lärande, kommunikation och informationsteknologi, magisterprogram Master in Language Technology Software Engineering, Master s Programme 249

2 IT kurser Datavetenskap Institutionen för data- och informationsteknik, Rännvägen 6B, , Suzana Plancak Jeremic, , Är du intresserad av avancerad problemlösning? Gillar du datorer och matematik och vill vara med och utveckla IT i framtiden? Då är datavetenskap något för dig. Inom datavetenskap erbjuder vi en forskningsnära kurser inom en rad områden; programspråk, algoritmer, programanalys, databaser, logiska metoder, verifiering, tillförlitlighet, säkerhet, distribuerade system, datakommunikation, digitala system, datorarkitektur, software engineering, datorgrafik och interaktionsdesign. Vissa områden handlar om beräkningsproblem där du vill ha ett visst givet resultat, som till exempel inom datorgrafik. Områden som till exempel algoritmer fokuserar istället på beräkningsbarhet där det inte finns några exakta svar. Det som gör datavetenskap så intressant är att det numera är grundläggande för många vardagliga ting i vårt samhälle. Brist på insikt i hur man implementerar kod t.ex, kan leda till haverier som påverkar ett mycket stort antal människor till mycket stora kostnader. Behovet är stort idag av välutbildade personer med specialkompetens inom datavetenskap och behovet förväntas öka kraftigt i framtiden. Vi har även ett stort antal kurser för dig som siktar på specialisering och vidareutbildning. Grundnivå Computer Communication, 7,5 hp (DIT420) In the study of protocols, we start with application level protocols enabling students to start with more familiar paradigms in the context of applications that we use regularly. Moving to lower layers later on, we have the possibility to gradually uncover network services, their functionality and the ease/ difficulty for achieving them. Topics covered include: networking applications, content distribution, HTTP, SMTP, TCP, UDP, IP, switching, routing, mobile IP, local area networks, etc. Förkunskapskrav: A completed the first year at the Computer Science Bachelor s Programme or equivalent. Anm-kod: GU Anm-kod: GU Det första kurstillfället ges på engelska det andra på svenska. Concurrent Programming, 7,5 hp (DIT390) Concurrent programming plays a vital role in systems where many events appear to occur simultaneously. This course aims to provide an introduction to the problems common to concurrent systems such as operating systems, distributed systems and real-time systems. After the course, you should be able to apply practical knowledge of the programming constructs and techniques offered by modern concurrent programming languages. Förkunskapskrav: Have successfully completed a course in Java corresponding to DIT011 or DIT950 or equivalent, and a course in functional programming corresponding to DIT440 or equivalent. Anm-kod: GU Anm-kod: GU Databases, 7,5 hp (DIT620) The course covers the basic principles of database systems as seen by users, application programmers and database administrators. A laboratory assignment develops these topics as a running example throughout the course. These include programming in SQL, as seen by a user querying or modifying an existing database, by a database designer, and by an application programmer invoking SQL from a host language. Förkunskapskrav: Basic knowledge in programming i.e. at least one of the courses DIT440, DIT011, DIT950, DIT948 or equivalent and basic knowledge in discrete mathematics such as MMGD10 or equivalent. Anm-kod: GU Anm-kod: GU Data Structures, 7,5 hp (DIT960) After completion of the course you are expected to be able to: - make informed choices between different data structures and algorithms for different applications; - use some basic abstract data types and data structures, including lists, queues, tables, trees and graphs; - use some of the algorithms used to manipulate and query basic data structures in an efficient way, and explain why they are correct. Förkunskapskrav: The requirements for the course is to have successfully completed: - a course in discrete mathematics, such as MMGD10 or equivalent, - a course in functional programming, such as DIT440 or equivalent, - a course in object oriented programming, either DIT011 or DIT950 or equivalent. Anm-kod: GU Datorsystemteknik, 7,5 hp (DIT122) Kursens syfte är att ge kunskaper om hur ett modernt datorsystem är konstruerat, hur dess hårdvarukomponenter interagerar med varandra och med den hårdvarunära mjukvaran. Speciell betoning ligger på prestandafrågor eftersom datorsystemkonstruktörer ofta ställs inför uppgiften att maximera prestanda till en viss given kostnad, eller att minimera kostnaden för en viss given prestandanivå. Förkunskapskrav: Successfully completed one year of an education aiming at a Bachelor s degree within Computer Science or equivalent. The course Machine oriented programming is also required. Anm-kod: GU Digital konstruktion, projektkurs, 7,5 hp (DIT796) Dagens tekniska system konstrueras ofta med digital elektronik. Standardkomponenterna räcker sällan till utan anpassningar, delsystem eller hela lösningar behöver implementeras i programmerbar logik. Kursen är praktiskt inriktad, du får tillämpa dina kunskaper inom digital elektronik genom att konstruera ett litet digitalt system. Fokus ligger på ingenjörsmässighet där resurserna är otillräckliga, så optimering och kreativa lösningar krävs. En viktig av kursen är dokumentation och presentation. Förkunskapskrav: För tillträde till kursen krävs ett års studier inom ämnet Datavetenskap eller motsvarande samt kursen DIT790 Digital och datorteknik (eller motsvarande). Anm-kod: GU Theory and Logic Design of Switching Circuits, 7,5 hp (DIT795) The course is intended to give fundamental knowledge about analysis, synthesis and optimization of combinatorial and sequential digital circuits. The course also presents the technologies used for implementing such circuits. As part of the course, the student will be introduced to a modern computerbased design tool (CAD), and learn the basics of a hardware description language. Förkunskapskrav: Successfully completed the first year of the Computer Science Bachelors education (or equivalent) and the course DIT790 Fundamentals of Digital Systems and Computers (or equivalent). Anm-kod: GU Finite Automata Theory and Formal Languages, 7,5 hp (DIT321) Finite automata are basic mathematical models of some physical systems. The theory of finite automata is fundamental in computer sciences, and is becoming more and more important. Besides having direct concrete applications, it is mathematically simple and elegant. It provides ideal illustrations of basic notions in mathematics (set theory, proof by induction). Förkunskapskrav: The requirement for the course is to have successfully completed a course in discrete mathematics (as for example MMGD10 or equivalent), and a course in functional programming (as for example DIT440 or equivalent) or in object oriented programming (as for example DIT011 or DIT950 or equivalent). Anm-kod: GU Functional programming, 7,5 hp (DIT142) Functional programming is built from concepts which are far from the legacy sequential machine model underlying languages like C and Java. This course will teach you about functional programming using the language Haskell. Haskell programs are small, fast and reliable. You will learn how to build them using the cutting-edge features provided Se för eventuella ändringar i utbudet. Där finns också längre programbeskrivningar. 250

3 kurser IT by the language and libraries, including: functions as first-class values, algebraic data types, polymorphism and classes, lazy evaluation, and Monads. Förkunskapskrav: Basic knowledge in discrete mathematics and logic. Previous programming experience and basic knowledge of data structures are also assumed. Anm-kod: GU Grundläggande datorteknik, 7,5 hp (DIT791) Dagens tekniska system innehåller ofta någon form av digitalt elektroniskt system. Vanligen är det ett datorsystem med en eller flera mikroprocessorer kombinerade med minnen och andra digitala delsystem för exempelvis övervakning, styrning och annan kommunikation. Förståelse för digitala systems roll och arbetssätt är viktig för studenter inom flera områden Förkunskapskrav: Grundläggande behörighet och Matematik D eller Matematik 4 (områdesbehörighet 13/A13, undantag ges för Biologi B/2, Fysik B/2, Kemi B/2). Urval: Betyg (34 %), högskoleprov (33 %) och högskolepoäng (33 %) Anm-kod: GU Anm-kod: GU Introduktion till funktionell programmering, 7,5 hp (DIT440) Detta är en grundläggande kurs i programmering i det funktionella programmeringsspråket Haskell. Du lär dig flera viktiga allmänna programmeringstekniker: modellering med datatyper, rekursion, specifikation och testning av program, abstraktion och generalisering med hjälp av polymorfa typer och högre-ordningens funktioner, samt strukturering av program med moduler och separation av sidoeffekter. Förkunskapskrav: Grundläggande behörighet och Matematik D eller Matematik 3c (områdesbehörighet 8/A8, undantag ges för Fysik B/2, Kemi A/1). Urval: Betyg (34 %), högskoleprov (33 %) och högskolepoäng (33 %) Anm-kod: GU Matematisk modellering och problemlösning, 7,5 hp (DIT991) Främst en introduktion till matematisk modellering och problemlösning för dig med begränsad erfarenhet av att tillämpa matematik, och som kan komma att arbeta inom områden där matematik är användbart. Huvudsyftet är att ge studenten förmåga att tillämpa teoretisk matematiken för problemlösning inom vetenskap och teknik. Kursen fyller luckan mellan de teoretiska matematikkurserna och relevanta tillämpningar. Förkunskapskrav: För att vara behörig krävs godkänd kurs i Linjär algebra (MMGD20 eller motsvarande), godkänd kurs i Objektorienterad programmering (DIT011, DIT950 eller motsvarande) samt godkänd kurs i Matematisk analys (MMGD30 eller motsvarande. Anm-kod: GU Model Driven Software Development, 7,5 hp (DIT945) In this course you will study how to develop a software system by using analysis and design principles, and also how models can be mapped into code. You will model both static and dynamic behaviors, for example interaction among objects (components), state changes of objects and the class structure of a system. The focus of this course is on the analysis and design phase. Förkunskapskrav: The requirement for the course is to have successfully completed one year at the Computer Science Bachelor s Programme or equivalent. The student must know Java programming and must have taken one course in data structures and the course DIT132 Software engineering fundamentals, or equivalent. Courses which students might benefit from having done are: project courses and Human-computer interaction. Anm-kod: GU Objektorienterad programvaruutveckling, 7,5 hp (DIT011) Denna kurs ger dig grundläggande kunskaper i objektorienterad programmering. Efter genomgången kurs kan du använda klasser, objekt, variabler, metoder, imperativa styrstrukturer, subklasser och arv, använda standardklasser, till exempel grafiska gränssnitts bibliotek och containerklasser, konstruera enkla väl strukturerade program utifrån en given uppgift, tillämpa ett givet designmönster och förklara polymorfism, gränssnitt och felhanteringsmekanismen. Förkunskapskrav: Grundläggande behörighet och Matematik D eller Matematik 3c (områdesbehörighet 8/A8, undantag ges för Fysik B/2, Kemi A/1). Anm-kod: GU Objektorienterat programmeringsprojekt, 7,5 hp (DIT212) Kursen avser att ge kunskap om, och övning i, professionell utveckling av mjukvara. Kursen presenterar en enkel, testdriven, objektorienterad mjukvaruutvecklingsprocess. Begrepp som iterativ utveckling, objektorienterad analys och design, domän- och designmodell och domain driven design introduceras. Olika aspekter på design gås igenom: testbarhet, beroenden, partitionering, skiktning m.fl. Förkunskapskrav: Avklarat första år på Datavetenskapligt program, kandidatprogram eller motsvarande. Anm-kod: GU Operating Systems, 7,5 hp (DIT400) You will get an introduction to the design, algorithms and implementation of operating systems. Some of the topics are: concurrent processes, deadlocks, memory management techniques, virtual memory, processor scheduling, disk scheduling, file systems, distributed file systems and micro kernels. The course is a component of computer science and engineering knowledge and a vital basis for understanding further on networks, parallel and distributed systems organization and programming. Förkunskapskrav: Completed the first year at the Computer Science Bachelor s Programme or equivalent, specifically the course DIT151 Machine oriented programming is required. The student should also have basic knowledge in low level programming and be familiar with terms like assembler, interrupt and so on. Anm-kod: GU Programmering av inbyggda system, 7,5 hp (DIT152) Det finns många situationer där datorn/datorsystemet behöver programmeras i ett språk som ligger nära processorn (maskinen). I synnerhet gäller det vid konstruktion av inbyggda system som i sitt arbete skall övervaka och/eller påverka övrig utrustning i det tekniska systemet. Förståelse för såväl datorsystemet som dess programmering är viktig för studenter på flera utbildningsprogram. Förkunskapskrav: För tillträde till kursen krävs DIT791 Grundläggande datorteknik (eller motsvarande till exempel DIT790 Digital- och datorteknik) och en kurs i grundläggande imperativ programmering (till exempel DIT011 Objektorienterad programvaruutveckling). Anm-kod: GU Anm-kod: GU Programming, Advanced Course, 7,5 hp (DIT950) Kursen behandlar principer för objektorienterad programmering och design. Avancerade programmeringstekniker såsom dataabstraktion, gränssnitt, arv, polymorfism, generiska typer, trådar, m.m, presenteras. Grundläggande designproblem och tekniker presenteras exempelvis invarianter och tillstånd, modularitet, beroenden och designmönster. Förkunskapskrav: Godkända programmeringskurser motsvarande DIT440 och DIT011 eller liknande. Anm-kod: GU Programming paradigms, 7,5 hp (DIT331) This course provides an overview of common programming paradigms, including imperative, objectoriented, logic, and functional programming, and discusses the fundamental concepts underlying the design, definition, and implementation of modern computer languages. You will get practical experience with languages that exemplify a particular paradigm. Förkunskapskrav: Successfully passed a course in functional language (such as DIT440 or DIT142), a course in imperative or object languages (such as DIT011, DIT950 or DIT948) and a course in data Kurser som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än Kurser som delvis behandlar miljö och hållbar utveckling, och där mindre än 251

4 IT kurser structures (such as DIT960 or DIT725). Anm-kod: GU Routing Technology, 7,5 hp (DIT421) In this course you will comprise knowledge and skills of the Internet technology including the TCP/ IP protocol suite, besides the Ethernet and Wireless LAN technologies for small and larger networks. You will be able to acquire a deep, solid knowledge and practical skills in networking and network equipment, particular routing and IP routers, switching and LAN-switches, and important WAN technologies. The course is mainly focusing on the operation and engineering of IP routers and LAN switches. Förkunskapskrav: The requirement for the course is to have completed a first year of studies within the subject Computer Science or equivalent. The course DIT420 Computer communication or equivalent is required. Anm-kod: GU Software Engineering Project, 7,5 hp (DIT543) Software engineering is the application of processes, tools, and methods to the problem of developing software. In this course you will work in a team to develop an application for a mobile platform. You will learn how to manage people and time, how to solve complex problems, and how to develop quality software. You will also learn some of the tools of the trade, such as development tools for mobile platforms, automated testing, and version control. Förkunskapskrav: The requirement for the course is to have completed a first year of studies within the subject Computer Science or equivalent. The course DIT211 Project Course is required. Anm-kod: GU Anm-kod: GU Testing, Debugging and Verification, 7,5 hp (DIT082) The main aim of the course is to provide a basic understanding for techniques that cope with errors in programs. Reoccurring themes are a) the identification of errors, b) their analysis, and c) their removal. The course also provides an understanding of systematic ways to convince oneself that a program unit really does what it should. In the course you will also learn how to use precise methods for writing requirements. students should have successfully completed: one year of an education aiming at a bachelor degree within Computer Science or equivalent; a course in discrete mathematics (such as MMGD10); a course in object oriented programming (such as DIT011 or DIT950). Anm-kod: GU Webapplikationer, 7,5 hp (DIT126) Kursen presenterar ett antal teknologier som används vid utveckling av webapplikationer, till exempel XML teknologier, HTML, CSS, JavaScript, AJAX, Java Enterprise Edition Webservices. Informationssökning i manualer och specifikationer ingår som en betydande del av kursen. Kursen innehåller en stor del praktiskt arbete i avancerade utvecklingsmiljöer och servermiljöer. Problem med felsökning, konfigurering, driftsättning och exekvering av webapplikationer ingår som en viktig del i kursen. Förkunskapskrav: För tillträde till kursen krävs två genomgångna år på Datavetenskapligt program eller motsvarande. Kurserna DIT011 Objektorienterad programvaruutveckling, DIT950 Programmering, fortsättningskurs och DIT960 Datastrukturer, eller motsvarande, ska vara avklarade. Anm-kod: GU Avancerad nivå Advanced Functional Programming, 7,5 hp (DIT260) The aim of the course is to explore the powerful mechanisms that functional programming languages offer to solve real problems and structure larger programs. The focus lies on library design and the concept of embedded languages. The programming language used in the course is Haskell. Concrete concepts that are taught in the course: The use of advanced type system features, such as type classes and generalized algebraic datatypes. Design and implementation techniques for embedded languages., students should have successfully completed two years of an education aimed at a Bachelor s degree within Computer Science or equivalent. The courses DIT142 Functional programming, MMGD10 Introductory Discrete Mathematics and at least one of the courses DIT230 Programming language technology or DIT331 programming paradigms or equivalent are required. To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course Anm-kod: GU Algorithms, 7,5 hp (DIT600) In this course you will learn how to recognize that nontrivial computational problems which need to be solved by algorithms and also to formalize them. You will perform in simple cases the whole development cycle of algorithms: problem analysis, choosing, modifying and combining suitable techniques and data structures, analysis of correctness and complexity, filling in implementation details, looking for possible improvements, etc. year studies within the subject Computer Science or equivalent. To provide the requirement in English Anm-kod: GU Anm-kod: GU Algorithms, Advanced Course, 7,5 hp (DIT280) The goal of the course is to develop advanced techniques in the design and analysis of algorithms. The course will continue in the spirit of the first algorithms course and maintain a rigorous analytical style. It is assumed that you are taking this course because you like the subject and you want to gain a deeper understanding of algorithms, not for a practical guide on how to implement them. This course also gives insight into selected research topics in the area. year of studies within Computer Science or equivalent. The course DIT600 Algorithms (or similar) and have a good background in Probability Theory are required. To provide the requirement in English Anm-kod: GU Algorithm for Machine Learning and Inference, 7,5 hp (DIT380) The course discusses learning and inference from data as a type of algorithmic problems. After introducing the basic notion and stressing the role of model assumptions we go through some of the most common approaches to algorithmic learning. Critical evaluation of learning algorithms and their outcomes is as important as the technical side. After completed course you will distinguish learning in an Artificial Intelligence perspective from human learning. year studies within the subject Computer Science or equivalent. Specifically the course DIT600 Algorithms is mandatory. Knowledge in Probability Theory is essential. To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course Anm-kod: GU Artificial Intelligence, 7,5 hp (DIT410) Artificial Intelligence (AI) is a field of computer science that studies how computers can accomplish tasks that were traditionally thought to require human intelligence. The aim of this course is to give you a deepened understanding of the possibilities and the limitations of AI methods. The course is done in a project-oriented way. Current topics are: Introduction to AI, Uninformed Search, Informed Search, Game Search, Logic and Deduction, Planning and Natural Language Dialogue Systems. Se för eventuella ändringar i utbudet. Där finns också längre programbeskrivningar. 252

5 kurser IT year studies within the subject Computer Science or equivalent. Good to very good programming skills. Knowledge of traditional AI language such as Lisp or prolog is not necessary. The course project can be done, for example, in C, C++, Java, Haskell, Lisp or Prolog. Having taken the course DIT600 Algorithms and DIT201 Logics in Computer Science is helpful but not mandatory. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Compiler Construction, 7,5 hp (DIT300) The aim of the course is to develop an understanding of the whole process of compiler construction, starting from lexical analysis and finishing with machine code generation. In the course you will build a complete compiler for a simple imperative language. The course will give you knowledge and experience needed to: Define a type system and implement type checking, which both reports errors to the programmer and prepares the program for code generation. years of studies within the subject Computer Science or equivalent. Specifically, the course DIT230 Programming Languages technology or equivalent is required. To provide the requirement in English B from Swedish Upper Anm-kod: GU Computer Architecture, 7,5 hp (DIT051) Computers have made new applications possible but they also require higher computational performance. Performance has doubled every eighteen months over the last decades (through advances in computer architecture etc) and the main approach to increase computational performance is through new forms of parallelism. This course focuses on principles for the design of parallel computers - architectures and programming models - which is the mainstream computing technology for the next ten years. Förkunskapskrav: Successfully completed two year of studies within the subject Computer Science or equivalent. The course DIT122 Datorsystemteknik or equivalent is required. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Computer Graphics, 7,5 hp (DIT220) The course provides knowledge of the principles used to create images through computer algorithms. The primary focus is on real-time rendering and photo realistic rendering. The course also covers techniques for illumination, special effects, shadows, reflections, ray tracing and global illumination. In addition, the corresponding mathematics will be revealed. In the course you will make a smaller project, a 3D game or a rendering program for computing special effects or photo-realistic images. Förkunskapskrav: Successfully completed a first year within the subject Computer Science or equivalent. Specifically a course in linear algebra is required. To provide the requirement in English Anm-kod: GU Computer Graphics, Advanced Course, 7,5 hp (DIT221) Computer Graphics is an expanding field with applications spanning from games, the movie industry, virtual reality, industrial simulations and even the financial sector that wants to utilize the computational horse power of modern graphics processing units (GPUs). In this follow-up course, the students dig deeper into a particular subject of their choice, in which they perform a project. Förkunskapskrav: The requirement for the course is to have successfully completed a first year within the subject Computer Science or equivalent. Specifically the course DIT220, Computer Graphics or equivalent is required. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Start: VT15, 25 %, dag, Anm-kod: GU Computer Networks, 7,5 hp (DIT663) This course is a continuation of the fundamental computer communications course. It provides an in-depth knowledge of the core technology behind communication and covers protocols, systems and applications. The course covers TCP/IP in detail and contains motivations for many of the design decisions. It also discusses services and applications used in the Internet such as DNS, routing, VoIP, peer-to-peer applications, traffic engineering (quality of service) and tools for network administration Förkunskapskrav: The requirement for the course is to have successfully completed two years of studies within the subject Computer Science or equivalent. The course DIT420 Computer Communication is required. To provide the requirement in English B from Swedish Upper Anm-kod: GU Computer Security, 7,5 hp (DIT641) The course gives basic knowledge in the security area, i.e. how to protect your system against intentional intrusions and attacks. The purpose of intrusions can be made to change or delete resources (data, programs, hardware, etc), to get unauthorized access to confidential information or unauthorized use of the system s services. The course covers threats and vulnerabilities in the computer systems and networks, as well as rules, methods and mechanisms for protection. year within the subject Computer Science or equivalent. Specifically the course DIT400 Operating Systems or equivalent is required. To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Cryptography, 7,5 hp (DIT250) The course is about basic goals of cryptography (confidentiality, authentication, non-repudiation). Symmetric key cryptography: block and stream ciphers, design principles and examples, modes of operation, message authentication codes. Public key cryptography: asymmetric ciphers, signatures. Attack models and security notions. Protocols for key management, authentication and other services. Förkunskapskrav: Successfully completed one year within the subject Computer Science or equivalent, especially one of the following courses in programming: DIT440, DIT950, DIT011 or equivalent and one course in Discrete Mathematics, MMGD10 or equivalent. To provide the requirement in English B from Swedish Upper Anm-kod: GU Discrete Optimization, 7,5 hp (DIT370) In this course you learn specific methods to model and solve problems where some objective function shall be maximized or minimized under side constraints, especially for discrete problems. After the course you should be able to; dualize optimization problems (LP dual, Lagrange dual) and use the dual forms, to concrete problems, distinguish approximation algorithms from heuristics, apply heuristic approaches (e.g., branch-and-bound) as well as design techniques for approximation algorithms etc. year studies within the subject Computer Science or equivalent. Specifically the course DIT600 Algorithms (or equivalent) is required. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level Kurser som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än Kurser som delvis behandlar miljö och hållbar utveckling, och där mindre än 253

6 IT kurser of English 6/English Course B from Swedish Upper Anm-kod: GU Distributed Systems, 7,5 hp (DIT240) Distributed systems are built by components/processes that cooperate using computer communication. The overall aim of the course is to provide an understanding of the challenges you are confronted with when developing such systems as well as the benefits gained from such systems. Thus this course serves as the basic for further study within the area. year s within the subject Computer Science or equivalent. Specifically the courses DIT390 Concurrent programming and DIT400 Operating systems are required. To provide the requirement in English Anm-kod: GU Distributed Systems, Advanced Course, 7,5 hp (DIT290) In this course the students first will get to know the points of inherent difference and strength of distributed systems compared with sequential or strongly-coupled systems; consequently. The aim of the course is to teach the students to study the issues and problems that have to be addressed and solved efficiently for these differences to be taken advantage of, so that the system retains its strength and high potential. year studies within the subject Computer Science or equivalent. Specifically, the course DIT240 Distributed systems is required. To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Energy Aware Computing, 7,5 hp (DIT053) The aim of the course is make students aware of the importance of energy aware computing and various techniques for reducing energy usage in computer systems. The course is intended to give an overview of the energy-dissipation aspects of computers and computing, ranging from electronic circuits to operating systems and from battery-powered pocket devices to data centers. In-depth treatments of several sub-fields of this wide range will be offered. Förkunskapskrav: The requirement for the course is to have successfully completed two years studies within the subject Computer Science or equivalent. The course DIT122 Computer System Engineering or equivalent is required Anm-kod: GU Fault-tolerant Computer Systems, 7,5 hp (DIT061) Fault-tolerant systems are used in applications that require high dependability, such as safetycritical control systems in vehicles and airplanes, or business-critical systems for e-commerce, automatic teller machines and financial transactions. This is an introductory course that covers basic techniques for design and analysis of fault-tolerant systems, as well as project management and development processes for safety-critical systems. years of studies within Computer Science or equivalent. The courses DIT790 Digital- och datorteknik or equivalent is required and the course DIT151 Machine oriented programming or equivalent is recommended. To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course Anm-kod: GU Language-Based Security, 7,5 hp (DIT101) The course covers the principles of programming language-based techniques for computer security. The goal is 1) understanding such applicaiton-level attacks as race conditions, buffer overruns, covert channels, and code injection and 2) mastering the principles behind such language-based protection techniques as static analysis, program transformation, and reference monitoring. The dual perspective of attack vs. protection is threaded through the lectures, laboratory assignments, and projects. year studies within the subject Computer Science or equivalent. To provide the requirement in English Anm-kod: GU Logic in Computer Science, 7,5 hp (DIT201) In recent years, powerful tools for verifying software and hardware systems have been developed. These tools rely in a crucial way in logical techniques. This course provides a sound basis in logic and a short introduction to some logical frameworks used in modelling, specifying and verifying computer systems. A sound basic knowledge in logic is a welcome prerequisite for courses in program verification, formal methods and artificial intelligence. year of studies within Computer Science or equivalent. To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Models of Computation, 7,5 hp (DIT310) The aim of the course is to give you an introduction to some basic models of computing, their syntax and semantics. Concepts like program, programming language and computing are studied from a more general and mathematical perspective. A rigorous mathematical formulation of these requires some simplification compared to practical programming languages. year studies within the subject Computer Science or equivalent. To provide the requirement in English Anm-kod: GU Network Security, 7,5 hp (DIT071) Why is it possible to break into networked computer systems? What weaknesses are used? And what makes one protocol more secure than another? This course looks at weaknesses that have plagued networked systems for years and at countermeasures like firewalls and security protocols such as SSL, SSH and IPsec that are investigated in detail what makes them secure.the course also gives a survey of cryptographic tools. years of studies within the subject Computer Science or equivalent. Specifically, the course DIT420 Computer Communication or equivalent is required. A course in Computer security such as DIT641 is recommended but not required. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Parallel and Distributed Real-Time Systems, 7,5 hp (DIT171) Real-time systems play a vital role in many application domains including drive-by-wire automotive systems, intelligent traffic control systems, banking systems, and autonomous robots. For many realtime applications, the system must be designed with multiple processors in order to meet imposed application constraints. This course is intended to give a deeper understanding of the problems involved in designing real-time systems based on multiprocessor architectures. years of studies within the subject Computer Science or equivalent. Preparatory courses in realtime systems, algorithms, operating systems and computer architecture are required. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Se för eventuella ändringar i utbudet. Där finns också längre programbeskrivningar. 254

7 kurser IT Anm-kod: GU Parallel Computer Organization and Design, 7,5 hp (DIT360) Computers have made new applications possible but they often also require higher computational performance. Fortunately, performance has doubled every eighteen months over the last decades because of technology shrinkage (higher clock frequency) and through advances in computer architecture. This course focuses on principles for the design of parallel computers - architectures as well as programming models - which is the mainstream computing technology for the next ten years. Förkunskapskrav: Successfully completed a Bachelor s degree within Computer Science or equivalent. Specifically, the course DIT051, Computer Architecture is required. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Parallel Functional Programming, 7,5 hp (DIT261) The course introduces the principles and practice of parallel programming in a functional programming language. The term parallel programming means using multiple hardware cores or processors in order to gain speed. The course covers approaches to parallel functional programming in Haskell and Erlang. It covers current research on these topics, and relies on scientific papers as its source materials. Several of the lectures are given by leading external experts from both academia and industry. Förkunskapskrav: Successfully completed two years within the subject Computer Science or equivalent. The course participants must have completed an introductory course in Funtional Programming, preferably using Haskell or Erlang (examples at GU are DIT440 Introduction to Functional Programming and DIT142 Functional Programming). To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/ English Course B from Swedish Upper Secondary School. Anm-kod: GU Programming Language Technology, 7,5 hp (DIT231) The aim of the course is to give understanding of how programming languages are designed, documented, and implemented. The course covers the basic techniques and tools needed to write interpreters, and gives a summary introduction to compilation as well. Förkunskapskrav: The requirements for the course is to have successfully passed: - a course in programming (such as DIT440, DIT011, DIT950 or DIT948) - a course in data structures (such as DIT960 or DIT725. To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/ English Course B from Swedish Upper Secondary School. Anm-kod: GU Frontiers of Programming Language Technology, 7,5 hp (DIT761) This course aims to give insight into past, present and future programming language technology, including introduction to the latest cutting edge research in the design and implementation of programming languages and tools. The course also provides a taste of the research conducted here at the Department of Computer Science and Engineering. The course includes presentations delivered by the participants, and along the way you will learn how to communicate technical talks effectively. Förkunskapskrav: The requirement for the course is to have successfully completed two years within the subject Computer Science or equivalent. One of the courses: DIT331 Programming Paradigms, DIT230 Programming Languages or DIT300 Compiler Construction or an equivalent course is required Start: HT14, 12 %, dag, Anm-kod: GU Real-Time Systems, 7,5 hp (DIT161) In the design of real-time systems it is practical to implement the application software as multiple concurrently executing processes, there each process is responsible for a given task in the system. The concept of multiple processes provides for an intuitive way of decomposing a complex system into smaller parts that are simple to comprehend and implement. Förkunskapskrav: Two years of an education aimed at a Bachelor s degree within Computer Science or equivalent. To provide the requirement in English by an internationally recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course Anm-kod: GU Software Engineering using Formal Methods, 7,5 hp (DIT270) years of studies within the subject Computer Science or equivalent. Skills in object oriented programming (like Java) are a prerequisite. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Types for Programs and Proofs, 7,5 hp (DIT232) Förkunskapskrav: Successfully completed two years of studies within Computer Science or equivalent. The student needs to possess basic knowledge in logic and functional programming. This knowledge can be obtained from the courses DIT201 Logic in Computer Science and DIT141 Functional Programming or equivalent. To provide recognized test, for example TOEFL, IELTS, the English proficiency should be equivalent to the level of English 6/English Course B from Swedish Upper Anm-kod: GU Agile Development Processes, 7,5 hp (DIT191) Empirical Software Engineering, 7,5 hp (DIT278) Model-Based Testing, 7,5 hp (DIT848) Model Driven Engineering, 7,5 hp (DIT596) Requirements Engineering, 7,5 hp (DIT276) Software Evolution Project, 15 hp (DIT599) Software Product Line Engineering, 7,5 hp (DIT275) För information om kurserna se, Software Engineering. Informatik Institutionen för tillämpad informationsteknologi, Forskningsgången 6 Lindholmen, , Mikael Strömberg, mikael.stromberg@ait.gu.se Informatik handlar om hur vi människor använder informationsteknologi i olika verksamheter. Samspelet mellan människa, teknik och organisation är intressant att förstå. Det är också viktigt att förstå tanken bakom användningen av IT.I kurserna inom informatik studerar du hur modern informationsteknologi kan stödja beslutsfattande, lärande och utförandet av olika uppgifter samt hur IT kan tillgodose behov hos individen och organisationen. Ämnet kopplar ihop människors behov med informationsteknologins möjligheter och begränsningar. På avancerad nivå handlar kurserna om hur vi strategiskt kan använda IT för att uppnå affärs-/ verksamhetsnytta. Grundnivå IT - Ledning, Styrning & Strategi, 15 hp (TIG064) Kursen introducerar dig i teorier om förändringsprocesser och ledning i organisationer. Du får kunskap om förändringsprocesser från olika perspektiv Kurser som huvudsakligen behandlar miljö och hållbar utveckling, och där mer än Kurser som delvis behandlar miljö och hållbar utveckling, och där mindre än 255

8 IT kurser såsom individ, grupp och organisation, som ger värdefull förståelse av ledningsarbete. Du kommer specifikt att behandla teorier om förändring i samband med utveckling och införande av informationssystem. Kursen genomförs i form av föreläsningar, seminarier, och självständigt grupparbete. Förkunskapskrav: För studenter antagna till programmet: Genomgångna tidigare kurser i programmet varav minst 60 avklarade hp. För sökande till fristående kurser: Minst 60 hp i avklarade kurser, varav kurserna Informationsteknologi och informationssystem, 15 hp, Verksamheter och information, 15 hp, Programmeringsteknik och databaser, 15 hp och Systemutvecklingsprojekt, 15 hp eller motsvarande. Start: HT14, 100 %, dag, Anm-kod: GU Design av komplexa system, 15 hp (TIG065) Kursens aktiviteter genomförs i form av ett större projektarbete, där du från ett helhetsperspektiv möter utmaningarna inom systemutveckling. Kursen syftar till att lära dig att tillämpa och förstå ett designinriktat angreppssätt för att hantera komplexa systemutvecklingsuppgifter. Kursen ska också sätta in tidigare kurser i en helhet och visa de nya utmaningar som uppstår och på möjliga sätt att hantera dem. Förkunskapskrav: Verksamheter och information, 15 hp, Programmeringsteknik och databaser, 15 hp och Systemutvecklingsprojekt, 15 hp eller motsvarande. Start: HT14, 100 %, dag, Anm-kod: GU Informatikhistoria och vetenskapsteori, 15 hp (TIG066) Kursen ger dig en övergripande inblick i informatikhistoria och vetenskapsteori. Du utvecklar även din förståelse för uppsatsskrivandets praxis, med problemformulering och strukturfrågor, utifrån praktiska exempel. Kursen ger dig också en inblick i grundläggande, relevanta metoder för undersökningar och forskning i informatik. Slutligen ger kursen dig en förmåga att föreslå och argumentera för upplägget av en undersökning samt att föra en konstruktiv diskussion av andras upplägg. Förkunskapskrav: För sökande till fristående kurs: Minst 60 hp i avklarade kurser, varav kurserna Informationsteknologi och informationssystem, 15 hp, Verksamheter och information, 15 hp, Programmeringsteknik och databaser, 15 hp och Systemutvecklingsprojekt, 15 hp eller motsvarande. Start: VT15, 100 %, dag, Anm-kod: GU Examensarbete, 15 hp (TIG067) Kursen innebär att du utreder ett intressant problem i ämnet informatik och dokumenterar i form av en uppsats. Uppsatsen ska formmässigt uppfylla samma krav som ställs på en vetenskaplig uppsats. Det ställs dock inga krav på att uppsatsen dokumenterar ett vetenskapligt arbete. Förkunskapskrav: För sökande till fristående kurs: 75 hp i informatik varav kursen Informatikhistoria och vetenskapsteori, 15 hp eller motsvarande. Start: VT15, 100 %, dag, Anm-kod: GU Avancerad nivå Verksamhetsutveckling, 15 hp (TIA003) Hur utvecklar man affärsverksamheten med IT som pådrivare och väsentligt medel? I den här kursen fördjupar du din kunskap och förståelse för hur verksamheter kan utvecklas ur ett holistiskt perspektiv. Du utvecklar även din förmåga att välja och använda teorier som främjar en hållbar verksamhetsutveckling. Innehållet i kursen struktureras övergripande i följande teman: Teoretiskt ramverk samt arkitekturbegrepp, verksamhetsarkitektur, förändringskoncept samt metoder och modelleringstekniker. Förkunskapskrav: För tillträde till kursen krävs antingen 1. kandidatexamen (180 hp) eller 2. yrkeserfarenhet: minst 7 års yrkeserfarenhet inom IT-utveckling och/eller verksamhetsutveckling. När det gäller yrkeserfarenhet är det meriterande om den inbegriper ledningsuppgifter, strategiska uppgifter eller övergripande designuppgifter. Dessutom krävs språkkunskaper motsvarande Svenska B/3 och Engelska A/5. Vid ansökan måste yrkeserfarenheten styrkas med tjänstgöringsintyg där tjänstens omfattning och innehåll tydligt framgår. Urval: Platsgaranti Start: HT14, 50 %, dag, Anm-kod: GU Förändringsledning, 15 hp (TIA004) Hur kan olika förändringsprojekt samordnas? I den här kursen fördjupar du din kunskap och förståelse för proaktiv ledning av förändringsarbete på olika nivåer i en verksamhet. Du utvecklar också din förmåga att tillämpa relevanta teorier, modeller och metoder för den specifika utvecklingssituationens behov. Innehållet i kursen struktureras övergripande i följande teman: Managementteorier, organisering av utvecklingsarbete, instrument för förändringsarbete samt principer för förändringsledning. Förkunskapskrav: För tillträde till kursen krävs antingen 1. kandidatexamen (180 hp) eller 2. yrkeserfarenhet: minst 7 års yrkeserfarenhet inom IT-utveckling och/eller verksamhetsutveckling. När det gäller yrkeserfarenhet är det meriterande om den inbegriper ledningsuppgifter, strategiska uppgifter eller övergripande designuppgifter. Dessutom krävs språkkunskaper motsvarande Svenska B/3 och Engelska A/5. Vid ansökan måste yrkeserfarenheten styrkas med tjänstgöringsintyg där tjänstens omfattning och innehåll tydligt framgår. Urval: Platsgaranti Start: VT15, 50 %, dag, Anm-kod: GU Arkitekturdesign, 15 hp (TIA005) Hur kan bättre arkitekturformer bidra till ökad affärsnytta? I den här kursen fördjupar du din kunskap och förståelse för arkitekturteorier inom IT-området väsentligt. Du utvecklar också din förmåga att tillämpa teorierna vid design av IT-relaterade arkitekturer. Innehållet i kursen struktureras övergripande i följande teman: Teoretiskt ramverk samt arkitektens roll, arkitekturell management och migration, arkitekturella designprinciper samt arkitekturell alignment och värdering. Förkunskapskrav: För tillträde till kursen krävs antingen 1. kandidatexamen (180 hp) eller 2. yrkeserfarenhet: minst 7 års yrkeserfarenhet inom IT-utveckling och/eller verksamhetsutveckling. När det gäller yrkeserfarenhet är det meriterande om den inbegriper ledningsuppgifter, strategiska uppgifter eller övergripande designuppgifter. Dessutom krävs språkkunskaper motsvarande Svenska B/Svenska 3 och Engelska A/Engelska 5. Vid ansökan måste yrkeserfarenheten styrkas med tjänstgöringsintyg där tjänstens omfattning och innehåll tydligt framgår. Urval: Platsgaranti Start: VT15, 50 %, dag, Anm-kod: GU Strategiutveckling, 15 hp (TIA006) Hur bör affärsstrategier och IT-strategier relateras till varandra? I den här kursen fördjupar du din kunskap om strategiutveckling och scenarioplanering. Du utvecklar färdighet i att använda relevanta verktyg samt förmåga att värdera hur olika analyser passar in i en organisations strategiska utveckling. Innehållet i kursen struktureras övergripande i följande teman: Teoretiskt ramverk, metoder för strategisk planering, scenarioplanering samt management och implementation av strategier. Förkunskapskrav: För tillträde till kursen krävs antingen 1. kandidatexamen (180 hp) eller 2. yrkeserfarenhet: minst 7 års yrkeserfarenhet inom IT-utveckling och/eller verksamhetsutveckling. När det gäller yrkeserfarenhet är det meriterande om den inbegriper ledningsuppgifter, strategiska uppgifter eller övergripande designuppgifter. Dessutom krävs språkkunskaper motsvarande Svenska B/ Svenska 3 och Engelska A/Engelska 5. Om kraven om grundexamen (kandidatexamen eller motsvarande) inte är uppfyllda är det inte möjligt att erhålla masterexamen. Urval: Platsgaranti Start: HT14, 50 %, dag, Anm-kod: GU Masteruppsats i informatik, 30 hp (TIA019) Efter avslutad kurs ska du ha förmåga att tillämpa de kunskaper och färdigheter som du tillägnat dig under tidigare studier, på ett problem inom utbildningsområdet som är intressant utifrån både ett forskningsperspektiv och ett industriellt perspektiv, men också tillämpa och integrera dina kunskaper och färdigheter på ett systematiskt och kritisk granskande sätt för att utveckla resultat som är originella och innovativa både i forsknings- och industrisammanhang. Förkunskapskrav: För behörighet till kursen krävs att studenten är behörig att läsa på masterexamensnivå i informatik vilket betyder att studenten uppfyller ett av följande krav 1) en kandidatexamen, 180 hp samt minst 75 hp på avancerad nivå i informatik. 2) minst 75 hp på avancerad nivå inom informatik och ur utbudet av IT Management fristående kurser. Start: VT15, 100 %, dag, Anm-kod: GU Se för eventuella ändringar i utbudet. Där finns också längre programbeskrivningar. 256