Primary tabs
Shaukat Ali
Head of Department
Chief Research Scientist/Research Professor
Organisation:
Email:
Research interests:
Verification and Validation
Search-Based Software Engineering
Autonomous Driving
Cyber-Physical Systems
Digital Twins
Quantum Software Engineering
About
Consider publishing in the Empirical Software Engineering journal:
https://www.springer.com/journal/10664
News
17 August 2023
- 1 of 14
- next
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2023
Talks, contributed
In 2023 International Conference on Software Engineering. IEEE/ACM, 2023.
Status: Published
2022
Talks, contributed
In In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2022.
Status: Published
In Towards a Norwegian Quantum Computing Strategy, Simula Research Laboratory, Norway, 2022.
Status: Published
In Model-Driven Engineering of Digital Twins Seminar at Dagstuhl, Germany. Schloss Dagstuhl, Germany, 2022.
Status: Published
In Connecting Education and Research Communities for an Innovative Resource Aware Society, Meeting Denmark, 2022.
Status: Published
In 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2022). IEEE, 2022.
Status: Published
2021
Talks, contributed
In IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.
Status: Published