Computer And Information Sciences

  • United Kingdom

Organization profile

Organisation profile

 

At CIS we operate across the traditional discipline boundaries of Computer and Information Sciences, hosting world-class research in Artificial Intelligence, Software Engineering, Information Retrieval, Mobile and Ubiquitous Interaction, Functional Programming, Dataflow Systems, Database Indexing and Information Science. Our research is informed by real-world problems and is characterised by theoretical discovery underpinned by strong empirical science.

Our research is funded by a broad range of funding bodies including EPSRC, ESRC, AHRC, the European Union and industry. We collaborate with a range of external partners including the Monterey Bay Aquarium Research Institute, Metropolitan Police, NASA, European Space Agency, and NHS Scotland. 

As part of the Scottish Informatics and Computer Science Alliance (SICSA) we are engaged in collaborations with other Scottish centres of excellence in Computer Science research, especially in the areas of Multimodal interaction and Complex Systems Engineering.

Fingerprint Dive into the research topics where Computer And Information Sciences is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Information retrieval Engineering & Materials Science
Planning Engineering & Materials Science
Permutation Mathematics
Health Engineering & Materials Science
Semantics Engineering & Materials Science
information retrieval Social Sciences
Digital libraries Engineering & Materials Science
Feedback Engineering & Materials Science

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

Projects 2001 2023

Research Output 1985 2020

Open Access
File
search engine
evaluation
Visibility
traffic
Communication

Expressive logics for coinductive predicates

Kupke, C. & Rot, J., 16 Jan 2020. 18 p.

Research output: Contribution to conferencePaper

Open Access
File
Semantics

Planning for hybrid systems via Satisfiability Modulo Theories

Cashmore, M., Magazzeni, D. & Zehtabi, P., 10 Jan 2020, (Accepted/In press) In : Journal of Artificial Intelligence Research.

Research output: Contribution to journalArticle

Hybrid systems
Planning
Scalability
Experiments
Semantics

Datasets

OATS_201309 Shake'n'Tap study

Dunlop, M. (Creator), Komninos, A. (Creator), Nicol, E. (Creator), University of Strathclyde, 10 Oct 2016

Dataset

OATS_201504 Injected Errors Study 1

Dunlop, M. (Creator), Komninos, A. (Creator), Nicol, E. (Creator), University of Strathclyde, 10 Oct 2016

Dataset

OATS_201403 Bloopers Studies

Dunlop, M. (Creator), Komninos, A. (Creator), Nicol, E. (Creator), University of Strathclyde, 24 Oct 2016

Dataset

Prizes

Abel Extraordinary Chair

Sergey Kitaev (Recipient), 2010

Prize: Other distinction

information retrieval
interest group

Activities 2002 2019

Technologies for mental health: recent developments at Strathclyde

Mario Parra Rodriguez (Recipient), Graham Wilson (Recipient)
20 Dec 2019

Activity: Other activity typesTypes of Public engagement and outreach - Media article or participation

Discrete Mathematics (Journal)

David Bevan (Peer reviewer)
Jul 2019 → …

Activity: Publication peer-review and editorial work typesJournal peer review

Sensors (Journal)

Walter Michie (Guest editor), Christos Tachtatzis (Guest editor), Roma Maguire (Guest editor)
15 Jul 2019

Activity: Publication peer-review and editorial work typesJournal or guest editorship

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

A unique computer technology for the accelerated discovery of drugs that “shape-shift” proteins refocuses and expands a U.S. Drug Discovery company

Mark Dufton (Participant), John N. Wilson (Participant)

Impact: Impact - for External PortalEconomic and commerce, Health and welfare - new products, guidelines and services

File

Best Paper Award, Semantics 2015

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

Impact: Impact - for External PortalOther