Skip to ContentSkip to Navigation
Research Bernoulli Institute Systems, Data and Society

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.

Last modified:25 January 2021 3.15 p.m.