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.|