King's College Strand Campus, Bush House, room BH(N)7.01
I am a Reader in Software Engineering at the Department of Informatics at King’s College London (see what student’s have to say) and a Visiting Scientist at the Francis Crick Institute. I am a member of the Software Systems (SSY) group. I also direct MDENet: the expert network for model-driven engineering and am a co-director on the Centre for Doctoral Training in Digital Twins for Healthcare (DT4Health).
In 2007, I received my doctoral degree (Dr. rer. nat.) from Technische Universität Dresden, Germany. My doctoral thesis was in the area of non-functional properties of component-based systems and was awarded summa cum laude.
Outside of work, I am most likely to be found a) in front of a book reading stories (well, anything, actually), or b) in rehearsals working on some new theatre play.
- We’re Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line ConfigurationIEEE Transactions on Software Engineering 49(3), 2023
- Trustworthy agent-based simulation: the case for domain-specific modelling languagesSoftware and Systems Modelling 22(2), 2023
- Supporting Emergency Department Risk Mitigation with a Modular and Reusable Agent-Based Simulation InfrastructureIn 2023 Winter Simulation Conference, 2023Also presented at ‘Modellierung 2024’
- Automatic generation of atomic multiplicity-preserving search operators for search-based model engineeringSoftware and Systems Modelling, 2021
- Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph TransformationsScience of Computer Programming 214, 2021
- Searching for Optimal Models: Comparing Two Encoding ApproachesIn Proc. 12th Int’l Conf. Model Transformations (ICMT’19), 2019
- Transformative and Troublesome? Students’ and Professional programmers’ perspectives on difficult concepts in programmingACM Transactions on Computing Education (TOCE) 19(3), 2019
- Deriving Persuasion Strategies Using Search-Based Model EngineeringIn 7th International Conference on Computational Models of Argument (COMMA’18), 2018
- GTS Families for the Flexible Composition of Graph Transformation SystemsIn 20th Int’l Conf. Fundamental Approaches to Software Engineering (FASE’17), 2017
- Amalgamation of Domain Specific Languages with BehaviourJournal of Logical and Algebraic Methods in Programming 86(1), 2017
- Correct Reuse of Transformations is Hard to GuaranteeIn Proc. 9th Int’l Conf Model Transformations (ICMT’16), 2016
- On the Reusable Specification of Non-functional Properties in DSLsIn Proc. 5th Int’l Conf. on Software Language Engineering (SLE’12), 2013
- Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications ThereofSoftware and Systems Modelling 9, Apr 2009