The research programmes organised by the School of Informatics encompass a wide range of domains.
Bioinformatics at Edinburgh includes research within Informatics, Biology and Biomedicine. It investigates a wide spectrum of problems at a variety of levels of detail. For example: understanding gene regulation and embryo development; analysing genetic variation; understanding the forces that shape gene and genome evolution; understanding of the development and functioning of specific neural structures.
Computer Systems Synthesis
Can a combination of machine learning and formal methods help automate computer system design?
Internet of Things
Internet of Things in the School of Informatics brings together researchers with expertise spanning embedded systems, compilers, wireless networks, security and privacy, data science, and applications in areas such as health, transport, low-carbon economy and development in the Global South. The programme builds bridges to other research groups outside the School, e.g. ECA, Engineering and SPS, and to strategic partners in industry.
Machine Learning methods are widely researched and used in many places in the School, e.g. in ANC, IPAB, ILCC and elsewhere. With the co-location of the School in the Forum there is an opportunity to develop the links between these various groups, so as to enhance mutual understanding, and likely lead to new research opportunities.
The School of Informatics hosts a unique combination of excellent researchers in programming language theory and practice across its different institutes. Especially LFCS and ICSA have a natural research interest in the design and implementation of programming languages. LFCS hosts world class researchers in different aspects of foundations of programming languages. ICSA has world renowned experts in compilation and parallel computing. But also, researchers from other institutes of the School either have benefited in the past or could benefit in the future from collaboration with programming languages researchers. The programming language research programme intends to strengthen existing links between research groups in the school and to promote new collaboration opportunities for researchers interested in programming languages. The programme aims for enhancing the mutual understanding of the various research interests in programming languages across the school and to promote collaboration opportunities, primarily through talks and meetings of the Programming Languages Interest Group.
Security and Privacy
Research on security and privacy in the School of Informatics of the University of Edinburgh spans a range of topics including cryptography, language-based security, security verification, and usability.
We have strong links with outside groups, including the Constructive Security Group at Microsoft Research Cambridge, within the University of Edinburgh Microsoft Research Joint Initiative in Informatics.