Theory of functional photonic structures
The precondition for a Heisenberg Programme funding is high scientific quality and originality of the research project at international level and suitability for further qualification as a university teacher. Applicants need to meet all the requirements for appointment to a permanent professorship.The aim of this programme is to enable outstanding ...
Duration: 04/2015 - 12/2021
Runtime Verification beyond Monitoring (ARVI)
Ziel ist der Aufbau von Expertise durch das Zusammenführen aktiver Forscher aus unterschiedlichen Bereichen der Laufzeit-Verifikation sowie durch Treffen mit Experten aus unterschiedlichen potentiellen Anwendungsdisziplinen. Das Hauptziel ist es, die Fragmentierung der Forschung über Laufzeit-Verifikation zusammenzuführen durch(1) das Design ...
Duration: 03/2015 - 12/2018
InnoVersity: Innovation management as an element of the University of Paderborn's digitisation strategy: from the innovative idea to sustainable dissemination
The Paderborn University follows the mission statement of the "University of the Information Society" and already offers extensive digital offers and services to support research, studies and teaching, which are continuously improved and expanded. A major goal of the University's digitization strategy is to be able to react promptly to new ...
Duration: 03/2015 - 07/2018
Contact: Prof. Dr. Gudrun Oevel
QUCHIP: Quantum Simulation on a Photonic Chip
Simulation is a fundamental computational tool for modern science with applications ranging from drug design to materials science. Quantum simulators have the potential to revolutionize the way simulations are performed by accessing system sizes that are untractable in classical machines. As a result, they will become a suite of powerful and ...
Duration: 03/2015 - 02/2018
EASE: Early semantic development: Linking language development to emerging participation in social events
The main goal of this project is to contribute to the theory of early language development within the emerging embodied, distributed and situated approach to cognition. Congruently with earlier, functionalist theories of language, we investigate how children learn the controlling power that utterances have in interactions with other people rather ...
Duration: 01/2015 - 12/2020
Propelling Business Process Management by Research and Innovation Staff Exchange
Duration: 01/2015 - 12/2019
Contact: Dr. Christian Bartelheimer, Prof. Dr. Daniel Beverungen
Schule digital - der L?nderindikator 2016
Phase 2 "Lehrerkompetenzen"Berichtlegung: Ende 2016
Duration: 01/2015 - 12/2016
GoRETech – Go Runtime Enforcement Techniques
Das Ziel dieses Projekts ist die Entwicklung und Anwendung von Techniken und Werkzeugen zur statischen Analyse und dynamischen Durchsetzung für die hochgradig nebenl?ufige Programmiersprache Go, mit einem speziellen Fokus auf die Analyse von sicherheitsrelevanten Eigenschaften. Die Sprache Go ist eine moderne Programmiersprache, die nicht nur ...
Duration: 01/2015 - 12/2016
Finding and Demonstrating Undesired Program Behavior (TESTIFY)
In diesem gemeinsamen Projekt mit Andreas Zeller von der Universit?t des Saarlandes wird versucht, Techniken der statischen Analyse, der Testfallgenerierung und der dynamischen Analyse zu kombinieren. Das Ziel ist es, so viel “interessantes” Laufzeitverhalten von mobilen Applikationen, im besonderen Anroid Malware, wie m?glich zu erkennen. Diese ...
Duration: 01/2015 - 12/2018