Theory, Modelling and Computation

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 is a focus on  joint research and joint activities amongst SICSA researchers, and also via novel inter-disciplinary research.

The Research Theme leaders for Theory, Modelling and Computation are Dr Clemens Kupke ( and Dr Lilia Georgieva (

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