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:
- Green software
- Mobile software engineering
- Modeling analysis and validation of systems, with focus on non functional properties: safety reliability, energy consumption, fairness/bias
- Formal verification of software and systems
- Software and data quality modeling, measurement, and standardization
- Software engineering for AI
- Value-driven software design (e.g., design methods for accountability, transparency, contestability, actionable recourse)
- Mobile systems
- User experience and developer experience design