Disclaimer
The IET has not verified or validated the information on this page, and the use of such information is at the user’s sole risk. The IET does not accept any liability for any errors, omissions or inaccuracy in the information, or any liability for any claims, damages or losses whatsoever resulting from reliance on any such information.
To help locate UKCRC members with particular areas of expertise, the following groupings list members according to the top level of the ACM Computing Classification System.
Please see individuals’ personal web pages for more details or to contact them.
Applied computing
including business and enterprise; physical sciences and engineering; life and medical sciences; law, forensics, social and behavioural sciences; arts and humanities; operations research; education; and document management and text processing
- Peter Andras - applied computing – life and medical sciences
- Ann Blandford - applied computing – life and medical sciences
- Anthony G Cohn – arts, humanities and other
- David (Dave) De Roure - physical sciences and engineering, arts, humanities and other, and document management and text processing
- Simon Dobson - life and medical sciences
- Erol Gelenbe - physical sciences and engineering, life and medical sciences, operations research, education
- Jane Hillston - life and medical sciences
- Carsten Maple - business and enterprise, operations research
- Marcus Kaiser - life and medical sciences
- Derek (Mac) McAuley - business and enterprise
- Maurice Perks - business and enterprise
- c. schraefel - life and medical sciences and arts, humanities and other
- V Anne Smith - life and medical sciences
- Danae Stanton Fraser -law, forensics, social and behavioural sciences and arts, humanities and other
- Martyn Thomas - arts, humanities and other
- Peter Triantafillou - business and enterprise and document management and text processing
Artificial intelligence and machine learning
including natural language processing; knowledge representation and reasoning; planning, search, control and distributed AI; computer vision; and machine learning
- Peter Andras - machine learning
- Alan Bundy – knowledge representation and reasoning and planning, search, control and distributed AI
- Anthony G Cohn – knowledge representation and reasoning, planning, search, control and distributed AI, computer vision, and machine learning
- Simon Dobson - machine learning
- Andrew Fitzgibbon - computer vision and machine learning
- Alejandro (Alex) Frangi - computer vision and machine learning
- Erol Gelenbe - planning, search, control and distributed AI, computer vision, and machine learning
- Carsten Maple - planning, search, control and distributed AI and machine learning
- V Anne Smith - machine learning
- Peter Triantafillou - machine learning
Computing methodologies
including symbolic and algebraic manipulation; parallel computing methodologies; modelling and simulation; computer graphics; and distributed and concurrent computing
- Peter Andras - parallel computing methodologies and modelling and simulation
- Muffy Calder – modelling and simulation
- David (Dave) De Roure– modelling and simulation
- Karim Djemame – distributed and concurrent computing
- Simon Dobson - modelling and simulation
- Andrew Fitzgibbon - computer graphics
- Alejandro (Alex) Frangi - modelling and simulation
- Erol Gelenbe - parallel computing methodologies and distributed and concurrent computing
- Marcus Kaiser - modelling and simulation
- Derek (Mac) McAuley - distributed and concurrent computing
- David Pym - modelling and simulation
- V Anne Smith - modelling and simulation
- Peter Triantafillou - parallel computing methodologies and distributed and concurrent computing
Computer systems organisation
including embedded, real-time and dependable systems
- Roderick (Rod) Chapman - embedded, real-time and dependable systems
- David (Dave) De Roure - embedded, real-time and dependable systems
- Karim Djemame - computer systems organisation
- Simon Dobson - embedded, real-time and dependable systems
- José Fiadeiro - computer systems organisation and embedded, real-time and dependable systems
- Stephen (Steve) Furber - computer systems organisation and embedded, and real-time and dependable systems
- Erol Gelenbe - computer systems organisation
- David Hutchison - embedded, real-time and dependable systems
- Marcus Kaiser - computer systems organisation
- Andrew Martin - computer systems organisation
- Julie McCann - embedded, real-time and dependable systems
- Maurice Perks - computer systems organisation
Human-centred computing
including Human-Computer Interaction and interaction design; collaborative and social computing; ubiquitous and mobile computing; visualisation; and accessibility
- Ann Blandford - human-computer interaction and interaction design and collaborative and social computing
- David (Dave) De Roure– human-computer interaction and interaction design, collaborative and social computing, and ubiquitous and mobile computing
- Karim Djemame - ubiquitous and mobile computing
- Derek (Mac) McAuley - human-computer interaction and interaction design, collaborative and social computing, and ubiquitous and mobile computing
- c. schraefel - human-computer interaction and interaction design
- Danae Stanton Fraser - human-computer interaction and interaction design, collaborative and social computing, and ubiquitous and mobile computing
Information systems
including data management systems; information storage systems; information systems applications; World Wide Web; and Information Retrieval
- Ann Blandford - information systems applications, world wide web, users and interactive retrieval; empirical studies in information retrieval
- Alan Bundy – world wide web
- David (Dave) De Roure- data management systems, information systems applications, world wide web, and information retrieval
- Andrew Martin - data management systems and world wide web
- Maurice Perks - information systems applications
- Peter Triantafillou - data management systems and information storage systems and information systems applications and word wide web and information retrieval
Mathematics of computing
including discrete mathematics; probability and statistics; and continuous mathematics, analysis, and software
- Peter Andras - continuous mathematics, analysis, and software
- Simon Dobson - discrete mathematics and probability and statistics
- Erol Gelenbe - probability and statistics and continuous mathematics, analysis, and software
- Jane Hillston - probability and statistics
- V Anne Smith - discrete mathematics and probability and statistics
Security and privacy
including cryptography
- David (Dave) De Roure - security and privacy
- Erol Gelenbe - security and privacy
- Chris Hankin - security and privacy
- David Hutchison - security and privacy
- Kevin Jones - security and privacy
- Carsten Maple - security and privacy
- Andrew Martin - security and privacy
- Derek (Mac) McAuley - security and privacy
- Julie McCann - security and privacy
- David Pym - security and privacy
- Steve Schneider- security and privacy
- c. schraefel - security and privacy
- Danae Stanton Fraser - security and privacy
- Martyn Thomas - security and privacy
Software and its engineering
including software organization and properties; software notation and tools; and software creation and management
- Peter Andras - software notation and tools
- Muffy Calder - software organisation and properties and software creation and management
- Roderick (Rod) Chapman - software organisation and properties, software notation and tools, and software creation and management
- José Fiadeiro - software organisation and properties and software creation and management
- Erol Gelenbe - software creation and management
- Kevin Jones - software organisation and properties
- Andrew Martin - software organisation and properties
- Martyn Thomas - software organisation and properties and software creation and management
- Philip Wadler - software organisation and properties
- Jim Woodcock - software organisation and properties and software notation and tools
Theory of computation
including models of computation and formal languages; computational complexity and cryptography; logic; design and analysis of algorithms; theory and algorithms for application domains; and semantics and reasoning
- Peter Andras - theory and algorithms for application domains
- Alan Bundy - logic
- Muffy Calder - logic
- Roderick (Rod) Chapman - semantics and reasoning
- Anthony G Cohn - logic
- Simon Dobson - design and analysis of algorithms
- José Fiadeiro - models of computation and formal languages, logic, and semantics and reasoning
- Chris Hankin - models of computation and formal languages and semantics and reasoning
- Jane Hillston - models of computation and formal languages and logic
- Andrew Martin - logic
- Maurice Perks - computational complexity and cryptography
- David Pym - logic and semantics and reasoning
- Steve Schneider - computational complexity and cryptography and logic
- V Anne Smith - design and analysis of algorithms and theory and algorithms for application domains
- Joanne Strother Moore (USA) - logic
- Philip Wadler - logic and semantics and reasoning
- Jim Woodcock - semantics and reasoning
