Marinos Georgiades

Marinos Georgiades

Lecturer of Software Engineering

University of Tartu, Institute of Computer Science

Marinos Georgiades


Marinos Georgiades obtained a BSc and a PhD in Computer Science from the University of Cyprus, and an MSc in Information Management from the University of Sheffield, United Kingdom. His research interests and activities are situated in the area of software engineering, with a focus in formalization and automation of software/requirements engineering.



Research Interests

My research is centered in the field of Requirements Engineering (RE), with a primary goal of improving the methods, processes, and tools for defining, documenting, and maintaining software requirements. My work intersects several key areas:

Automation in Requirements Engineering

A primary focus of my research is the automation of the RE process. I work on developing software tools that can automatically generate various requirements artifacts, such as use case specifications and test cases.

Automation of Software Project Management

I am also interested in extending the automation pipeline from requirements into software project management. This involves researching methods to automatically transform detailed use case specifications into structured development tasks, such as those used in project management tools like Jira, streamlining the workflow from specification to implementation.

Use Case Modeling and Specification

I have a deep interest in use case modeling, specifically in the formalization of specifications through grammars and patterns. My goal is to create methods that produce use cases that are structured, consistent, and unambiguous, moving beyond informal descriptions to engineered artifacts.

Requirements and System Design Integration

My work bridges the gap between requirements and early system design. I have developed a use case grammar that distinguishes between design-free specifications (capturing functional requirements) and design-dependent specifications which incorporate supplementary details related to User Interface (UI) and management of data and data constraints.

NLP and LLMs in Requirements Engineering

I apply Natural Language Processing (NLP) techniques and Large Language Models (LLMs) to process requirements. This involves using AI to understand unstructured text, identify key domain concepts, and automatically generate structured specifications that conform to formal models and grammars.