Spring semester 2020: Three elective computer science courses at master level is offered

18.12.19 Jan Fuglesteg

Department of Computer Science, campus Tromsø, will in the spring semester 2020 offer three seminars: INF-3910-2 Computer Science Seminar: Green Computing, INF-3910-5 Computer Science Seminar: Applied functional programming in .NET Core, and INF-3910-6 Computer Science Seminar: Introduction to Artificial Intelligence and Applied Methods.

Target group for all three seminars is master level students. Exchange students may in certain cases take the seminars if they have the recommended prerequisites to take them.

INF-3910-2 Computer Science Seminar: Green Computing

Professor Phuong H. Ha, Department of computer science (UiT) will be responsible for the course. The language of instruction is English and all of the syllabus material is in English.

Course content

The course covers a variety of aspects related to green computing, particularly on how to address energy efficiency across mobile, embedded and data-center systems. It provides insights into various energy optimization techniques across different levels of the system stack including architecture, runtime systems, libraries and programming languages.

Course objectives and other course info: INF-3910-2 Computer Science Seminar: Green Computing

If you have professional / technical questions you can contact Phuong H. Ha.

 

INF-3910-5 Computer Science Seminar: Applied functional programming in .NET Core

Professor John Markus Bjørndalen, Department of computer science (UiT) will be responsible for the course, but all lectures will be given by Jonas Juselius, Serit IT Partner and Department of Computer Science. The language of instruction is English and all of the syllabus material is in English.

Course content

This seminar covers the theory and principles of functional programming, using F# and .NET Core to demonstrate concepts. The aim is to introduce the theoretical foundations, while focusing on the practical application of functional programming techniques and their use in the software industry.

The following topics will be covered in this course:

  • Perspective: History and development of programming languages
  • Introduction to lambda calculus
  • Introduction to type theory
  • Introduction to functional programming in F#
  • Pure functions and referential transparency
  • Abstraction: Higher-order functions, partial application and currying
  • Designing with types
  • Patterns: Functors, applicatives and monads
  • Embedded domain-specific languages: HTML combinators, parser combinators
  • Functional reactive programming and the Model-View-Update architecture
  • Transpiling F# to JavaScript and writing client-server HTML5 applications in F#
  • Functional programming techniques in C#

Course objectives and other course info: INF-3910-5 Computer Science Seminar: Applied functional programming in .NET Core

If you have professional / technical questions you can contact Jonas Juselius. 

 

INF-3910-6 Computer Science Seminar: Introduction to Artificial Intelligence and Applied Methods

Professor Anne Håkansson, Department of computer science (UiT) will be responsible for the course. The language of instruction is English and all of the syllabus material is in English.

Course content

The content of this seminar will be:

  • AI techniques for different application areas
  • Presentation of chosen project and demonstration of prototype for AI project

The course gives an overview of Artificial Intelligence and Applied Methods. The focus is on several different areas of Artificial Intelligence with AI-problems, and Methods and includes areas such as: Intelligent /Knowledge-based systems, Agent / multi-agent systems, Machine Learning, Artificial Neural Networks, Natural language processing and strategies.

The course addresses classic principles for design and implementation of AI systems and applications and discusses emerging trends from the international research front.

Particularly, the following topics will be addressed:

  • Fundamental AI problems and solutions including search algorithms and planning, knowledge representation forms and knowledge including reasoning strategies, decision support and heuristics.
  • Decision-support systems
  • Intelligent agents and multi-agent systems
  • Machine learning and neural networks.
  • Automatic analysis and generation of natural language.

The focus is on using artificial intelligence techniques to develop systems for different problems.

Course objectives and other course info: INF-3910-6 Computer Science Seminar: Introduction to Artificial Intelligence and Applied Methods

If you have professional / technical questions you can contact Professor Anne Håkansson

For master level students in computer science. Note also that recommended prerequisites in mathematics are MAT-1004 Linear algebra in addition to MAT-0001 / MAT-1001, MAT-1005 and STA-0001 / STA-1001.  

Time tables

Tentative time tables for the three seminars are:

INF-3910-2 CSS: Green Computing
INF-3910-5 CSS: Applied functional programming in .NET Core
INF-3910-6 CSS: Introduction to Artificial Intelligence and Applied Methods

The allocated time table for the three seminars will not collide with lectures / study groups for the following computer science courses: NF-3203 and INF-3701.

Registration

Master level students on a 2- or 5-year master program in computer science at UiT must register for the exam through the Studentweb within February 1st 2020. Other categories of students must contact the administration at Department of Computer Science.

PhD students at UiT 

If these seminars are considered relevant as part of the academic training component for a PhD student the existing course code INF-8810 Ph.d. Special curriculum in Computer science - 10 ECTS can be used. PhD students must expect an expanded scope / depth in coursework / exam counting component (s) in relation to what is the case for students taking the INF-3910 seminars. PhD students must contact the responsible for the seminars.

Each PhD-student must use the application form (Norwegian only):
https://uit.no/Content/217801/S%F8knad%20spesialpensum%20ph.d.%20%20111110.doc

På Twitter   #norgesarktiske