Software engineering and Mobile computing

The area focuses on the broad field of software engineering and related files. It includes the area of human-computer interaction concerning primarily the user experience, tools and techniques for mobile application development, formal verification, software development processes, software, and data quality.

Specific research topics in this area are:

  1. Green software
  2. Mobile software engineering
  3. Modeling analysis and validation of systems, with focus on non functional properties: safety reliability, energy consumption, fairness/bias
  4. Formal verification of software and systems
  5. Software and data quality modeling, measurement, and standardization
  6. Software engineering for AI
  7. Value-driven software design (e.g., design methods for accountability, transparency, contestability, actionable recourse)
  8. Mobile systems
  9. User experience and developer experience design

ERC sectors

  • PE6_3: Software engineering, operating systems, computer languages
  • PE6_4: Theoretical computer science, formal methods, and quantum computing
  • PE6_9: Human computer interaction and interface, visualisation and natural language processing

Keywords

  • Software engineering
  • Formal methods
  • Human-computer interaction and mobile applications