Mathematical and Computational Sciences  

Mathematical and

DFG Projects

Functionality of Oxide Interfaces - SFB 762

The central aim of the Collaborative Research Centre is the fabrication and characterisation of oxide heterostructures with components exhibiting ferroelectric, magnetic, semiconducting and insulating properties, thus featuring additional degrees of freedom for the design of functional elements. [...] Read more

Polymers under Multiple Constraints: Restricted and Controlled Molecular Order and Mobility - SFB/TRR 102

The central aim of the Transregional Collaborative Research Centre is to study and understand the effect of internal and external constraints on structure formation and dynamics of polymer systems. [...] Read more

Hybrid Reasoning for Intelligent Systems (HYBRIS) - FOR 1513

Knowledge Representation and Reasoning (KR&R) and, in particular, reasoning about actions, their effects and the environment in which actions take place, are fundamental for intelligent behaviour and have been a central concern in artificial intelligence from the beginning. [...] Read more

Quantitative Logics and Automata - GRK 1763

Both automata and logics are employed as modelling approaches in computer science, and these approaches often complement each other in a synergetic way. In theoretical computer science the connection between finite automata and logics has been investigated in detail since the early nineteen sixties. [...] Read more

Atmospheric and Earth System Research with HALO (High Altitude and Long Range Research Aircraft) – SPP 1294

The projects of the airborne platform HALO (High Altitude and Long Range Research Aircraft) focus on: (1) instruments for the collection and analyses of trace substances and for air mass characterisation, (2) substance analyses and evaluations, characterisations and tests of new instruments in laboratory and on demonstration missions, and (3) geophysical developments. [...] Read more


ScaDS-Competence Center For Scalable Data Services and Solutions

Within the framework of the funding program "competence centers for the intelligent use of Big Data", the Federal Ministry for Education and Research funds the research project "ScaDS Dresden/Leipzig Competence Center for Scalable Data Services and Solutions". ScaDS Dresden/Leipzig was officially launched on 13 October 2014 and has laid the foundations for the creation of a national competence center for Big Data. [...] Read More

HorseVetMed - Telemetric Veterinary Medical Technology

The goal is the development of an open expandable platform for the Diagnose and Therapy support in the veterinary medicine.[...] Read More

GEISER - Smart Data Analytics

GEISER develops an open cloud-based platform for integrating geospatial data with sensor data from cyberphysical systems based on sematic and Big Data technologies. [...] Read More

AMSL Electronic Resource Management

The general goal of this sub-project is the development of a scalable, reusable web application for the management of electronic resources in academic libraries in Saxony and beyond. [...] Read More

Joint Projects

International Max Planck Research School “Mathematics in the Sciences” (IMPRS MIS)

The International Max Planck Research School “Mathematics in the Sciences” (IMPRS MIS) is a cooperation of the Max Planck Institute for Mathematics in the Sciences, the Department of Mathematics and Computer Sciences, and the Department of Physics of Leipzig University. [...] Read more

last update: 23.07.2018 


Prof. Dr. Rainer Verch
Institute of Theoretical Physics
Vor dem Hospitaltore 1
04103 Leipzig

Phone: +49 341 97-32423
Fax: +49 341 97-32458

Prof. Dr. Martin Middendorf
Institute of Computer Science
Augustusplatz 10
04109 Leipzig

Phone: +49 341 97-32275
Fax: +49 341 97-32252