Research any topic before you write.

Find related topics. | Discover entities. | See connections. | Build a topical map.

Conor McBride: Research, Art & Science

Conor Titania McBride (born 18 February 1973) is a reader in the department of Computer and Information Sciences at the University of Strathclyde. In 1999, they completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for their work in type theory. They formerly worked at Durham…

Language: English [EN]
Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.
100%
More settings
100% 100% 100% 100% 100%

Conor McBride topic overview

The analysis highlights Research, Art and Science as prominent areas in the source structure around Conor McBride.

Related topics
25
Source areas
3
Connected nodes
28
Extracted relationships
23
Concept neighborhoods
17
Bridge connections
28

What this topic covers Research coverage

Source areas are shown by the number of related topics found in each part of the analysis. Use smaller areas too: they can reveal specialized angles and content gaps.

Overview · 16 topics
Selected bibliography · 6 topics
Research · 3 topics

Smaller areas are not necessarily less important. They contain fewer connections in this analysis and can be useful for finding specialized angles or coverage gaps.

Key facts & relationships

High-confidence facts extracted from structured source data. Use them as anchors for further research.

Alma mater
University of Edinburgh
Born
(1973-02-18) 18 February 1973 (age 53) Newtownards, Northern Ireland
Fields
Computer science Type theory
Thesis
Dependently Typed Functional Programs and their Proofs (1999)
Workplaces
Durham University Royal Holloway, University of London University of Strathclyde

Explore all related topics Closing gaps

Browse the complete topic structure, not only the most central items. Less prominent entities and concepts can reveal missing angles, specialized context and useful research gaps. Each item opens a new analysis centered on that subject.

Overview

Research

Selected bibliography

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

How Conor McBride connects Entity context

The extracted context around Conor McBride shows recurring relationship patterns in the source. For example, Conor McBride → Agda-curious, An Agda Introduction, Conor, Dependently Typed Programming, February, Iain McGinniss, ICFP, Malcolm Wallace, McBride, Monday, September Another extracted example is Conor McBride → DBLP Bibliography Server, Mathematics Genealogy ProjectConor McBride, McBride, Official, StrathclydeOfficial, University. Use these groups to spot repeated connection types before inspecting the individual relationships.

Conor McBride

Top relations

related to Video lectures · 11
Conor McBride → Agda-curious, An Agda Introduction, Conor, Dependently Typed Programming, February, Iain McGinniss, ICFP, Malcolm Wallace, McBride, Monday, September
related to External links · 6
Conor McBride → DBLP Bibliography Server, Mathematics Genealogy ProjectConor McBride, McBride, Official, StrathclydeOfficial, University
Alma mater · 1
Conor McBride → University of Edinburgh
Born · 1
Conor McBride → (1973-02-18) 18 February 1973 (age 53) Newtownards, Northern Ireland
Fields · 1
Conor McBride → Computer science Type theory
Thesis · 1
Conor McBride → Dependently Typed Functional Programs and their Proofs (1999)
Website · 1
Conor McBride → strictlypositive.org
Workplaces · 1
Conor McBride → Durham University Royal Holloway, University of London University of Strathclyde

Important terminology

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

programming pdf university functional 10 computer typed programs proofs science doi strathclyde types conor mcbride dependently type journal edinburgh theory

Conor McBride relationships Subject–Predicate–Object triples

TTTA extracted 23 structured relationships around Conor McBride. Examples in this analysis include Conor McBride → Alma mater → University of Edinburgh and Conor McBride → Born → (1973-02-18) 18 February 1973 (age 53) Newtownards, Northern Ireland. The table shows each extracted connection, where it came from and its confidence.

SubjectPredicateObjectConfidenceSrc
Conor McBrideAlma materUniversity of Edinburgh1.00infobox
Conor McBrideBorn(1973-02-18) 18 February 1973 (age 53) Newtownards, Northern Ireland1.00infobox
Conor McBrideFieldsComputer science Type theory1.00infobox
Conor McBrideThesisDependently Typed Functional Programs and their Proofs (1999)1.00infobox
Conor McBrideWebsitestrictlypositive.org1.00infobox
Conor McBrideWorkplacesDurham University Royal Holloway, University of London University of Strathclyde1.00infobox
Conor McBriderelated to External linksOfficial0.60section
Conor McBriderelated to External linksUniversity0.60section
Conor McBriderelated to External linksStrathclydeOfficial0.60section
Conor McBriderelated to External linksMcBride0.60section
Conor McBriderelated to External linksMathematics Genealogy ProjectConor McBride0.60section
Conor McBriderelated to External linksDBLP Bibliography Server0.60section

Related concept clusters Concept neighborhoods

The concept neighborhoods around Conor McBride bring nearby vocabulary together. In this analysis, examples include Mcbride, Strathclyde and University. Use the clusters to find adjacent concepts and terminology that may deserve separate research.

  • computer and information sciences
    • Science
    • Lecture
    • Notes
    • International
    • Strathclyde
    • University
    • Mcbride
    • Durham
    • Holloway
    • Information
    • London
    • Royal
  • journal of functional programming
    • Journal
    • Programs
    • Proofs
    • Typed
    • Theory
    • Programming
    • Edinburgh
    • Type
    • University
    • Citeseerx
    • Language
    • Durham
  • lecture notes in computer science
    • Notes
    • Science
    • Lecture
    • Strathclyde
    • University
    • Durham
    • Holloway
    • Information
    • London
    • Royal
    • Theory
    • Edinburgh
  • university of strathclyde
    • University
    • Durham
    • Holloway
    • London
    • Royal
    • Science
    • Theory
    • Edinburgh
    • Type
    • Video
    • Dependently
    • Programs
  • university of edinburgh
    • Theory
    • Type
    • University
    • Programs
    • Proofs
    • Science
    • Typed
    • Durham
    • Functional
    • Holloway
    • London
    • Royal
  • durham university
    • Holloway
    • London
    • Royal
    • Strathclyde
    • Theory
    • University
    • Edinburgh
    • Type
    • Video
    • Science
    • Programs
    • Proofs
  • royal holloway, university of london
    • Holloway
    • London
    • Royal
    • Strathclyde
    • Theory
    • University
    • Type
    • Video
    • Science
    • Programs
    • Proofs
    • Typed
  • type theory
    • Theory
    • Type
    • Durham
    • Holloway
    • London
    • Royal
    • Typed
    • University
    • Video
    • Science
    • Pdf

Connections between topic areas Semantic bridges

For Conor McBride, one of the stronger structural bridges in this analysis connects Conor McBride with Overview. Bridges highlight paths between different parts of the map and can reveal research angles that are easy to miss in a flat list.

Min side: 3
Conor McBride — Overview · splits 12 ⟂ 17
Conor McBride — Selected bibliography · splits 22 ⟂ 7
Conor McBride — Research · splits 25 ⟂ 4

Map overview Semantic statistics

Conor McBride

Nodes29
Edges28
Triples23
Avg. degree1.93
Density0.068966
Components1

Source & methodology

TTTA analyzes the structure around Conor McBride to surface related topics, entities, relationships, concept neighborhoods and bridge connections. Use the map to explore areas such as Research, Art & Science, including less central topics that may reveal useful research gaps. Automatically extracted connections are research leads rather than rewritten encyclopedia content.

Source: Wikipedia — Conor McBride · EN edition · Analysis: TopicsToTalkAbout

For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.