Scottish Informatics and Computer Science Alliance

Organization profile

Organisation profile

The Scottish Informatics and Computer Science Alliance (SICSA) is a collaboration of Scottish Universities whose goal is to develop and extend Scotland's position as a world leader in Informatics and Computer Science research and education.

We achieve this by working cooperatively rather than competitively, by providing mutual support and sharing facilities, by working closely with industry and government and by appointing and retaining world-class staff and research students in Scottish Universities.

Fingerprint Dive into the research topics where Scottish Informatics and Computer Science Alliance is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Projects

    Trust: Trusted Systems

    Ghani, N., McBride, C. & Nordvall Forsberg, F.

    1/10/1930/09/23

    Project: Research

    The Role of Public Libraries in Glasgow Communities in the 21st Century

    Buchanan, S.

    1/10/1730/09/20

    Project: Research - Studentship

    Plaza-Puck: BTG- Researcher-led Project

    Anusas, M., Hornecker, E. & Fischer, P. T.

    5/09/11 → …

    Project: Internally funded project

    Research Output

  • A type and scope safe universe of syntaxes with binding: their semantics and proofs

    Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 28 Jan 2020, (Accepted/In press) In : Journal of Functional Programming. 61 p.

    Research output: Contribution to journalArticle

  • Open Access
    File

    Prizes

    Abel Extraordinary Chair

    Sergey Kitaev (Recipient), 2010

    Prize: Other distinction

  • Activities

    Uniform distribution of resources

    Sergey Kitaev (Speaker)
    9 Mar 2020

    Activity: Talk or presentation typesOral presentation

    Quantitative Methods 2

    Martin Halvey (Speaker)
    Jun 2019

    Activity: Talk or presentation typesInvited talk

    Computational challenges in the theory of word-representable graphs

    Sergey Kitaev (Speaker)
    24 May 2019

    Activity: Talk or presentation typesInvited talk

    Impacts

    A framework for the holistic analysis of organisational information systems

    Steven Buchanan (Participant)

    Impact: Impact - for External PortalProfessional practice, training and standards, Education, Economic and commerce

    Best Paper Award, Semantics 2015

    John N. Wilson (Participant), Sana Mohammad M Al Azwari (Participant)

    Impact: Impact - for External PortalOther

    Understanding the Information Needs of Young First Time Mothers from Areas of Multiple Deprivation

    Steven Buchanan (Participant), Ian Ruthven (Participant)

    Impact: Impact - for External PortalHealth and welfare - new products, guidelines and services, Professional practice, training and standards