Here you can find a list of the Core Subjects related to Computing Science. We only accept project proposals that fall within the scope of one of the Core Topics listed at this page.
Computer Graphics
Computer graphics and visualization is a exciting field with CS about...
Key words:
Linear Algebra, Transformations, 3D, 2D, Projections, Shaders
Supervisors:
Niclas Börlin
Stefan Johansson
Zoe Falomir
Alexandre Bartel
Examinator:
Computer Networks
Theory and practical application on the networks and protocols used on Internet and other network types.
Keywords:
TCP / IP, Ethernet, MAC addresses, IP addresses
Supervisors:
Jerry Eriksson
Oliver Larsson
Chanh Le Tan Nguyen
Alexandre Bartel
Examinator:
Jerry Eriksson
Operating Systems
Theory and applications of the design of modern Operative Systems.
Keywords:
Memory Management, Filesystems, Networking, Scheduling
Supervisors:
Jerry Eriksson
Oliver Larsson
Alexandre Bartel
Examinator:
Distributed Systems
How to use multipe resources, datacenters and cloud solutions to make scalable and robust systems for a dynamic workload.
Keywords:
Edge, Grid, Resources, Cloud, Management
Supervisors:
Feras M. Awaysheh
Jerry Eriksson
Monowar Bhuyan
Paul Townend
Per-Olov Östberg
Oliver Larsson
Chanh Le Tan Nguyen
Alexandre Bartel
Erik Elmroth
Examinator:
Security
In a hostile world the use of cyberattacks and exploits for ransomware and attacks, as well as the pursuit of sensitive data and information need us all to be securing our applications and systems.
Keywords:
DDos, Cyberattacks, Robustness, Exploits, Datamining
Supervisors:
Monowar Bhuyan
Oliver Larsson
Andreas Brännström
Chanh Le Tan Nguyen
Alexandre Bartel
Vicenç Torra
Examinator:
Databases
To store large number of data and make them accessible for systems and program many backends contains for a datawarehouse or database.
Keywords:
SQL, Normalization, Data, Queries
Supervisors:
Timotheus Kampik
Michael Minock
Oliver Larsson
Andreas Brännström
Chanh Le Tan Nguyen
Stepán Plachý
Alexandre Bartel
Nina Khairova
Examinators:
Formal Languages
To formulate complex problems and their solutions as well structured symbolic systems can be viewed as formal gramars of a problem domain.
Keywords:
Formal languages, Automatan, Statemachines, Parsers, Regular Expressions
Supervisors:
Anna Jonsson
Esteban Guerrero Rosero
Henrik Björklund
Johanna Björklund
Martin Berglund
Suna Bensch
Adam Dahlgren Lindström
Andreas Brännström
Stepán Plachý
Frank Drewes
Nina Khairova
Examinator:
Computational Complexity
The complexity of algoritms and the different categories of how hard a problem is make us strive to invent more efficient algorithms.
Keywords:
Algorithms, Complexity, Polynomial, NP, NP Hard, SPACE
Supervisors:
Anna Jonsson
Henrik Björklund
Johanna Björklund
Juan Carlos Nieves Sanchez
Martin Berglund
Suna Bensch
Chanh Le Tan Nguyen
Stepán Plachý
Frank Drewes
Examinator:
Algorithms
How to make a plan to solve a problems.
Keywords:
Algorithms, Pseudocode, Brute-force, Statistical, Halting problem
Supervisors:
Anna Jonsson
Henrik Björklund
Johanna Björklund
Juan Carlos Nieves Sanchez
Martin Berglund
Suna Bensch
Chanh Le Tan Nguyen
Stepán Plachý
Frank Drewes
Carl C Kjelgaard Mikkelsen
Jerry Eriksson
Lars Karlsson
Niclas Börlin
Ola Ringdahl
Stefan Johansson
Andreas Brännström
Alexandre Bartel
Paolo Bientinesi
Examinator:
Logics
The fundamental of Truth, can we formulate everything into this?
Keywords:
True, False, Fuzzy logic, Normal forms, Predicate, Temporal, Solvers
Supervisors:
Timotheus Kampik
Anna Jonsson
Esteban Guerrero Rosero
Henrik Björklund
Johanna Björklund
Juan Carlos Nieves Sanchez
Martin Berglund
Andreas Brännström
Stepán Plachý
Frank Dignum
Frank Drewes
Patrik Eklund
Vicenç Torra
Virginia Dignum
Julian Mendez
Examinator:
Machine Learning
Machinelearning is about how to use algoritms to train a models on data.
Keywords:
Supervised learning, Unsupervised, Gradient descent, Multilayer, Perceptrons
Supervisors:
Timotheus Kampik
Johanna Björklund
Juan Carlos Nieves Sanchez
Lili Jiang
Loïs Vanhée
Michael Minock
Monowar Bhuyan
Ola Ringdahl
Polina Kurtser
Suna Bensch
Tommy Löfstedt
Pim Kerkhoven
Adam Dahlgren Lindström
Andreas Brännström
Chanh Le Tan Nguyen
Gustav Grund Pihlgren
Maëlic Neau
Sz-Ting Tzeng (Christine)
Alexandre Bartel
Kary Främling
Patrik Eklund
Vicenç Torra
Nina Khairova
Somayeh Jafaritazehjani
Examinator:
Natural Language Processing
The use of human languages both for interpretations and buildingblocks for more complex models of reality.
Keywords:
NLP, BERT, Recurring Networks, Human languages, Lingvistics
Supervisors:
Timotheus Kampik
Anna Jonsson
Henrik Björklund
Johanna Björklund
Juan Carlos Nieves Sanchez
Lili Jiang
Loïs Vanhée
Martin Berglund
Michael Minock
Polina Kurtser
Suna Bensch
Tommy Löfstedt
Adam Dahlgren Lindström
Andreas Brännström
Maëlic Neau
Stepán Plachý
Alexandre Bartel
Frank Dignum
Frank Drewes
Vicenç Torra
Nina Khairova
Somayeh Jafaritazehjani
Examinators:
Privacy
In the world where information is gold, how do we keep our individual citizens private information safe from being extracted and used in non-consensual ways?
Keywords:
Datascience, Protection, Diffusion
Supervisors:
Feras M. Awaysheh
Lili Jiang
Monowar Bhuyan
Tommy Löfstedt
Pim Kerkhoven
Andreas Brännström
Chanh Le Tan Nguyen
Rachele Carli
Alexandre Bartel
Vicenç Torra
Examinator:
Robotics
The AI is moving faster and faster, but we need embodiment of our new intelligent agents to acts and help us in the real-world.
Keywords:
Robotics, Mecanoids, Visual understanding, Mapmaking, Planning, Autonomity
Supervisors:
Arzu Güneysu
Juan Carlos Nieves Sanchez
Kai-Florian Richter
Ola Ringdahl
Polina Kurtser
Zoe Falomir
Chanh Le Tan Nguyen
Maëlic Neau
Thomas Hellström
Examinator:
Knowledge-Based Systems
Hiearchical representations of knowledge and how things are related to each other by symbols and other ways.
Keywords:
Symbolics, Hierarchy, Models, Rules, Systems
Supervisors:
Timotheus Kampik
Esteban Guerrero Rosero
Johanna Björklund
Juan Carlos Nieves Sanchez
Kai-Florian Richter
Lili Jiang
Michael Minock
Ola Ringdahl
Suna Bensch
Andreas Brännström
Gustav Grund Pihlgren
Frank Dignum
Frank Drewes
Helena Lindgren
Kary Främling
Patrik Eklund
Vicenç Torra
Virginia Dignum
Nina Khairova
Julian Mendez
Examinator:
Responsible AI
How can we make sure that the use of advance AI is used for the benefits and fairness of all people and not by oppressions and exluding people by the bias within them.
Keywords:
Bias, Objectivity, Alignment
Supervisors:
Timotheus Kampik
Arzu Güneysu
Feras M. Awaysheh
Henrik Björklund
Juan Carlos Nieves Sanchez
Kai-Florian Richter
Loïs Vanhée
Monowar Bhuyan
Suna Bensch
Pim Kerkhoven
Adam Dahlgren Lindström
Andreas Brännström
Gustav Grund Pihlgren
Rachele Carli
Sz-Ting Tzeng (Christine)
Frank Dignum
Helena Lindgren
Kary Främling
Vicenç Torra
Virginia Dignum
Nina Khairova
Julian Mendez
Examinator:
Social AI
Can AI be used to simulate social interactions and model how people will behave in specific situations?
Keywords:
Social Simualtions, Agents
Supervisors:
Timotheus Kampik
Arzu Güneysu
Feras M. Awaysheh
Henrik Björklund
Juan Carlos Nieves Sanchez
Kai-Florian Richter
Loïs Vanhée
Monowar Bhuyan
Suna Bensch
Pim Kerkhoven
Adam Dahlgren Lindström
Andreas Brännström
Gustav Grund Pihlgren
Rachele Carli
Sz-Ting Tzeng (Christine)
Frank Dignum
Helena Lindgren
Kary Främling
Vicenç Torra
Virginia Dignum
Nina Khairova
Julian Mendez
Examinator:
Human-Computer Interaction
When humans interact with computers and systems alot of factors need to be considered, everything the estetics, easy to use, the cognitive models of the mind and more.
Keywords:
Usability, User Interface / eXperience, Cognition, Stress
Supervisors:
Arzu Güneysu
Juan Carlos Nieves Sanchez
Kai-Florian Richter
Loïs Vanhée
Ola Ringdahl
Polina Kurtser
Suna Bensch
Zoe Falomir
Adam Dahlgren Lindström
Andreas Brännström
Chanh Le Tan Nguyen
Gustav Grund Pihlgren
Rachele Carli
Sz-Ting Tzeng (Christine)
Helena Lindgren
Kary Främling
Virginia Dignum
Nina Khairova
Somayeh Jafaritazehjani
Examinator:
Human-Robot Interaction
Robots interacting with humans and the other way around, many new aspects that are taken for granted in the traditional Human vs Human settings, but causing new problems and possibilities.
Keywords:
Dialog, Interactions, Human-like behaviour, Uncanny Valley, Speech, Motion
Supervisors:
Arzu Güneysu
Juan Carlos Nieves Sanchez
Kai-Florian Richter
Loïs Vanhée
Ola Ringdahl
Polina Kurtser
Suna Bensch
Zoe Falomir
Adam Dahlgren Lindström
Andreas Brännström
Chanh Le Tan Nguyen
Maëlic Neau
Rachele Carli
Helena Lindgren
Thomas Hellström
Somayeh Jafaritazehjani
Examinator:
Computer Vision
How can we transform the real open world into a model that various computersystems and robots can "understand" and act according to?
Keywords:
Transformations, 2D, 3D, Object Recognition, Motion
Supervisors:
Niclas Börlin
Ola Ringdahl
Per-Olov Östberg
Polina Kurtser
Tommy Löfstedt
Zoe Falomir
Adam Dahlgren Lindström
Andreas Brännström
Chanh Le Tan Nguyen
Gustav Grund Pihlgren
Maëlic Neau
Examinator:
Optimization
A large set of problems in real world, industry and in computer models can be solved or approximated by models. To make these as good as possible various optimization techniques are applied.
Keywords:
Linear Algebra, Matrix computations, Regression models, Transformations
Supervisors:
Carl C Kjelgaard Mikkelsen
Jerry Eriksson
Niclas Börlin
Polina Kurtser
Tommy Löfstedt
Andreas Brännström
Chanh Le Tan Nguyen
Gustav Grund Pihlgren
Stepán Plachý
Paolo Bientinesi
Vicenç Torra
Examinator:
Matrix Computations
Representation linear systems and many other types of data as matrices is often a computational effecient way to do ot and alot of research and algoritms has been developed for this.
Keywords:
Matrix multiplications, Vectors, Eigenvalues, Scala-PACK
Supervisors:
Carl C Kjelgaard Mikkelsen
Jerry Eriksson
Lars Karlsson
Niclas Börlin
Stefan Johansson
Paolo Bientinesi
Examinator:
High-Performance Computing
Supercomputers with computational nodes connected with very high speed networks and large scale storage facilities can be used and shared as resource for scientific and industrial computations of large datasets and problems.
Keywords:
Thin-Wide Nodes, Shared Memory, Distributed Computations, Cache-hierarchies, Terra-flops, Scalability
Supervisors:
Carl C Kjelgaard Mikkelsen
Jerry Eriksson
Lars Karlsson
Paolo Bientinesi
Examinator: