Projects in Software Engineering and Law 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/

 

We create theories and tools ensuring that IT applications behave in a lawful way, preserving (human) rights and guaranteeing that obligations are fulfilled. The results are formally proven, and empirically validated via case studies and benchmarks. 

If you want to improve your theoretical/practical competences in any intersection between programming language research, logic/conceptual modelling, natural language processing, and 
empirical software engineering, we have some projects for you!

 

Possible Thesis Topic

  • NLP and ML techniques for specification extraction of legal rights and obligations
  • Formal Modelling of legal contracts
  • Process optimization techniques to guide decision making for case-workers
  • Compiler techniques for generation of safe-by-design distributed systems.
  • Model-checking and refinement-based techniques applied to legal 

Compliance

  • Constraint-solving techniques to identify hidden dependencies in software 

Designs

  • Factors affecting the understandability of Software Engineering Models

 

Supervisor:
Hugo-Andrés López
http://lopezacosta.net/
lopez@di.ku.dk

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