Projects

The topics for research in “Systems, Data and Society” at the Bernoulli Institute include:

• Detection and understanding the behavior of complex and dynamical systems through the study of the long-term and transient behavior of systems that evolve in time. The applications including climate models, microelectromechanical devices, and brain-inspired computer architectures.
• analysis, control and optimization of complex dynamical systems.
• Developing tools to ensure data veracity and transmission (e.g. project: Unifying Correctness for Communicating Software).
• Handling of big data in large and complex software-intensive systems (e.g. embedded systems, IoT systems, open-source systems) as exemplified by the SDK4ED project.

The research areas involved in the “Systems” component of this theme are:

• Fundamental research on bifurcation theory and Hamiltonian and multi-scale systems and a vast variety of applications.
• Systems and control including data driven control, network dynamics, and the analysis and control of complex dynamical systems; with applications in power systems, distribution networks, neuromorphic computing, image analysis, and mechatronics.

The range of our “Data” research is defined by areas such as:

• Mathematical foundations of program analysis, and contributes to program verification by developing techniques for reasoning about program behaviour using methods from logic, type theory, concurrency, and (co)algebra.
• Software correctness through programme verification and development of principles, methods, and tools for ensuring error-free programs.