Personal profile
Research interests
Research interests (short)
Education/Academic qualification
Doctor of Science, Mathematics of Vagueness and Approximate Reasoning, University of Bristol
Award Date: 1 Jan 1989
Bachelor of Science, University of Reading
Award Date: 1 Jan 1984
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 7 Affordable and Clean Energy -
SDG 9 Industry, Innovation, and Infrastructure -
SDG 10 Reduced Inequalities -
SDG 12 Responsible Consumption and Production -
SDG 13 Climate Action
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
An Approach for the Comparative Evaluation of Requirements Formalisation Approaches
Kolahdouz Rahimi, S., Lano, K., Yassipour Tehrani, S., Lin, C., Liu, Y. & Umar, M. A., 2026, Model-Based Software and Systems Engineering - 12th International Conference, MODELSWARD 2024, Revised Selected Papers. José Domínguez Mayo, F., Ferreira Pires, L. & Seidewitz, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 132-150 19 p. (Communications in Computer and Information Science; vol. 2547 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
An Operational Semantics for Extended OCL
Lano, K., 10 Mar 2026, In: Modelsward. 8 p.Research output: Contribution to journal › Conference paper › peer-review
Open AccessFile1 Downloads (Pure) -
Evaluating the Requirements Engineering Process in Model Transformation Development: A State of Practice Analysis
Yassipour Tehrani, S., Lano, K., Sharbaf, M., Kolahdouz Rahimi, S., Zschaler, S. & Hussein, S., 20 Jan 2026, (E-pub ahead of print) In: Software and Systems Modeling.Research output: Contribution to journal › Article › peer-review
Open AccessFile8 Downloads (Pure) -
Leveraging LLMs for Abstracting UML and OCL Representations from Java and Python Programs
Siala, H. A. & Lano, K., Aug 2026, In: Journal of Systems and Software. 238, 85 p., 112874.Research output: Contribution to journal › Article › peer-review
Open Access -
A Comparison of Large Language Models and Model-Driven Reverse Engineering for Reverse Engineering
Siala, H. A. & Lano, K., 2025, In: Frontiers in Computer Science. 7, 1516410.Research output: Contribution to journal › Article › peer-review
Open AccessFile31 Downloads (Pure)
Projects
- 13 Finished
-
Financial Model Specification and Validation
Lano, K. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/04/2024 → 31/07/2024
Project: Research
-
Model Transformation Engineering and Verification Network (MTNET)
Lano, K. (Primary Investigator) & Zschaler, S. (Co-Investigator)
1/09/2016 → 31/08/2019
Project: Research
-
VeriTrans
Lano, K. (Primary Investigator) & Zschaler, S. (Co-Investigator)
23/09/2013 → 22/09/2016
Project: Research
-
SCIENCE OF COMPUTER PROGRAMMING (Journal)
Lano, K. (Editor)
2009 → 2010Activity: Publication peer-review and editorial work › Publication peer-review
-
Software Systems and Modelling, Springer (Journal)
Lano, K. (Editorial board member)
2006 → 2010Activity: Publication peer-review and editorial work › Editorial activity
Datasets
-
-
-
-
-
A concrete syntax transformation approach for software language processing
Lano, K., Zenodo, 13 Jan 2024
Dataset
Prizes
-
-
-
Highly ranked scholar (lifetime)
Lano, K. (Recipient), 31 Dec 2024
Prize: Prize (including medals and awards)