Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Datasets
Prizes
Activities
Press / Media
Equipment
Search by expertise, name or affiliation
View Scopus Profile
Liam O'Connor
DR
Lecturer in Programming Languages for Trustworthy Systems
,
School of Informatics
Laboratory for Foundations of Computer Science
Foundations of Computation
https://orcid.org/0000-0003-2765-4269
Accepting PhD Students
Overview
Fingerprint
Network
Research output
(15)
Similar Profiles
(12)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Liam O'Connor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Specifications
100%
Semantics
70%
Formal verification
50%
Costs
36%
Data structures
31%
Testing
31%
Formal specification
30%
Temporal logic
30%
Computer programming languages
29%
Linux
26%
Functional programming
19%
Hatches
18%
Copying
16%
Program compilers
15%
Computer systems programming
10%
Technical writing
10%
Informatics
10%
Formal methods
9%
Facings
8%
Computer science
8%
Interoperability
8%
Data storage equipment
7%
Specification languages
7%
Software engineering
6%
Automation
6%
Systems analysis
6%
User interfaces
5%
Mathematics
Scaling
22%
Operating Systems
18%
Software System
17%
Proof System
14%
Engineering
10%
Binary
9%
kernel
8%
Estimate
5%
