Theory, Modelling and Computation

Theory, Modelling and Computation integrates the previous SICSA Research Themes in Complex Systems Engineering and Modelling and Abstraction.   Scotland is internationally prominent in the areas centred around Theoretical Computer Science, Programming Languages, AI, Logic and Mathematics.

The aim of this Research Theme is to both deepen the current activity in these areas and promote new activities. There will be a focus on  joint research and joint activities amongst those researchers within SICSA whose natural home is within the theme, and also via novel inter-disciplinary research.

The Research Theme leaders for Theory, Modelling and Computation are Dr Clemens Kupke ( and Dr Ekaterina Komendantskaya (

Please complete a proposal and email to if you wish to organise a theme activity or event in this area.

Join the Theory, Modelling and Computation Mailing List