Forskning vid Uppsala universitet

Forskningsprojekt från 2015-01-01 till 2018-12-31

This project is a direct continuation of the project "A framework for parallel programming models", to accommodate and verify a spectrum of high-level modeling languages. We formally established correctness ...

Forskningsprojekt från 2009-01-01 till 2015-06-30

Vårt forskningsmål är att bygga en programmeringsplattform för trådlösa sensornät (WSN) där sensorerna kan programmeras kollektivt snarare än individuellt, med fokus på tjänster från hela nätet snarare ...

Forskningsprojekt från 2014-01-01 till 2016-12-31

The elephant human conflict is a major problem in Sri Lanka that causes the death of 150 elephants and 60 humans per year. Further, the damage caused by elephants to property and crop is tens of thousands ...

Forskningsprojekt från 2020-01-01 till 2023-12-31

Managed languages dominate computing: enterprises run Java/C#, Python drives AI, and the web runs on JavaScript. This success comes from the productivity of automating common error-prone tasks (such as ...

Forskningsprojekt från 2012-01-01 till 2015-12-31

The proposed research is a multifaceted investigation centering on problems in homogeneous dynamics and fundamental questions about lattices. We will focus in particular on problems which hold the promise ...

Forskningsprojekt från 2009-01-01 till 2014-12-31

Inbyggda datorsystem som utför krävande beräkningar med starkt begränsade tidsramar och resurser är en kritisk del i viktiga svenska industriprodukter i många viktiga sektorer. Svensk industri står nu ...

Forskningsprojekt från 2017-01-01 till 2020-12-31

The research program studies contact and symplectic topology and its relations to other geometric fields, in particular to physics inspired low-dimensional topology and knot theory. The main tool is theories ...

Forskningsprojekt från 2016-01-01 till 2019-12-31

The introduction of multicores in virtually all computing platforms, implies that software development must exploit parallelism increase performance. The scalability of program performance critically depends ...

Forskningsprojekt från 2018-01-01 till 2021-12-31

Concurrency has become ubiquitous and necessary nowadays in order to leverage the power of multi-cores. At the same time, concurrent programming is considerably more error-prone, not only due to non-determinism ...

Forskningsprojekt från 2013-01-01 till 2016-12-31

The concept of this project is to enable productive optimization of parallel heterogeneous systems by providing rapid energy and performance feedback to the software developer, hardware developer (architect ...

Forskningsprojekt från 2014-01-01 till 2016-12-31

Wireless sensor networks consist of small embedded computing devices that are equipped with sensors and communicate wirelessly. They enable numerous applications such as environmental monitoring, surveillance ...

Forskningsprojekt från 2021-01-01 till 2024-12-31

The framework of string compactifications is of undisputed importance to connect string theory to the physics of our world, and has promoted progress in fields ranging from quantum gravity and cosmology ...

Forskningsprojekt från 2013-01-01 till 2015-12-31

The complexity of modern computers systems have increased in many dimensions over the last decades: complex out-of-order processors, deep memory hierarchies and several cores on a chip. It is widely believed ...

Forskningsprojekt från 2021-01-01 till 2024-12-31

The Fukaya category is a powerful invariant of exact symplectic manifolds in the form of an A-infinity category, the objects of which consist of (a suitable class of) its Lagrangian submanifolds, while ...

Forskningsprojekt från 2013-01-01 till 2016-12-31

This project studies the mathematical models arising from a variety of imaging techniques. These problems are formulated mathematically as "inverse problems" where one deduces information about the differential ...

Forskningsprojekt från 2017-01-01 till 2020-12-31

Conserved quantities are important in various areas of physics, as in many cases they provide an essential characterization of a physical system. However, to define the mass, center of mass, angular and ...

Forskningsprojekt från 2015-01-01 till 2018-12-31

This project is in the area of Theoretical and Mathematical Physics. The main emphasis is on the development of new geometrical ideas and concepts originating from the modern string theory and the quantum ...

Forskningsprojekt från 2012-01-01 till 2014-12-31

This project is in the area of Theoretical and Mathematical Physics. The main emphasis is on the development of new geometrical ideas and concepts originating from the modern string theory and ...

Forskningsprojekt från 2014-01-01 till 2016-12-31

During the past decade there has been an important development of the mathematical tools available for high-energy physics. I have participated in and contributed to this development of Generalized Complex ...

Forskningsprojekt från 2015-01-01 till 2018-12-31

This research project aims to study several related topics in higher dimensional Auslander-Reiten theory. Classical Auslander-Reiten theory is an important tool in representation theory of associative ...

Forskningsprojekt från 2013-01-01 till 2013-12-31

More than thirty years ago a result derived in the context of superspace supergravity indicated that even the most promising supergravity candidate had problems when viewed as a model for quantum gravity ...

Forskningsprojekt från 2018-12-01 till 2021-12-31

The main purpose of this project is to further the understanding of exact Lagrangian manifolds in symplectic manifolds, and understand the relations to quantum physics. We propose the following specific ...

Forskningsprojekt från 2012-01-01 till 2015-12-31

Model-based approaches to verification and validation are becoming increasingly important as a means to control the effort in development of complex component-based systems. Models, however, are not always ...

Forskningsprojekt från 2015-01-01 till 2018-12-31

Mathematical morphology (MM) is a widely-used framework for efficient processing and analysis of images. Linear filters, according to the Nyquist-Shannon sampling theory, are not affected by the sampling ...

Forskningsprojekt från 2015-01-01 till 2018-12-31

Parallel computers are pervasive, and future computers of all scales will be provide their power through parallelism. Thus, all applications will need to be parallel to exploit the available computing ...

Forskningsprojekt från 2012-01-01 till 2014-12-31

Safety in numerous domains such as transportation and health relies on sophisticated software that is the core of embedded computing devices. Many such devices process real-valued quantities, represented ...

Forskningsprojekt från 2013-01-01 till 2016-12-31

Object-oriented programming builds on aliasing and mutable state. It is well-known that these combined cause problems for programmers, tool developers and formalists. Creating and managing aliases and ...

Forskningsprojekt från 2013-01-01 till 2016-12-31

Symplectic and contact geometry has its roots in the mathematical description of mechanics. Its modern development was initiated in the early 1980´s with conjectures by Arnold and then shaped by Gromov ...

Forskningsprojekt från 2020-12-01 till 2024-11-30

Over the last 35 years, the study of the role of geometric and topological aspects of fundamental physics in gauge theory and strings has been a central theme in both theoretical physics and in geometry ...

Forskningsprojekt från 2012-01-01 till 2015-12-31

In many safety-critical applications, embedded computer systems must react to their environment in real-time. The designers must predict and make sure at design time that given timing constraints such ...