Formal Methods in Software Engineering Supervisor Boris Düdder and Haiqin Wu hos Københavns Universitet

Software, Data, People & Society

I sektionen forskes der i software, proces- og datastyringssystemer. Der arbejdes med metoder til at udvikle softwaresystemer, der er egnede til enten udviklerne eller brugerne, og derved skaber værdi for samfundet. Forskningen udføres oftest i en tværfaglig sammenhæng og i samarbejde med industrien.

Sektionen er inddelt i seks områder:

  • Decentraliserede systemer
  • Computerstøttet kooperativt arbejde
  • Datastyringssystemer
  • Sundheds-it
  • Proces modellering og intelligens
  • Sikkerhed og privatliv

Læs mere her: https://di.ku.dk/english/research/sdps/

Engelsk version:

The section works with software, process and data management systems, and methods for the development of software systems suited for the people developing and using them, thereby creating value for society. The research is often carried out in an interdisciplinary context and in collaboration with industry.

The section is divided into six areas:

  • Decentralized systems
  • Computer Supported Cooperative Work
  • Data Mangement Systems
  • Health IT
  • Process Modelling and Intelligence
  • Security and Privacy

Read more here: https://di.ku.dk/english/research/sdps/

 

Secure and fair distributed systems for
industrial applications 

Examples for Bachelor projects in:

Data Eco-System Projects

  • Design of Secure Data Multi-party Computation Framework in

Trusted Execution Environments
  • Development of a Fair and Secure Data Exchange Platform for 

Danish Hospitals

Artificial Intelligence in Software Engineering Projects

  • Development of a Python or Go Parser for Automatic Program Manipulation


 

Superviser:
Boris Düdder, boris.d@di.ku.dk

Husk at nævne, at du fandt dette opslag på KU Projekt & Job