Research any topic before you write.

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

Conor McBride

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…

Research, Art & Science

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Research this topic

Explore the main themes, entities and connections around Conor McBride. Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

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

Topics to explore

Browse the full topic structure. 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.

Map overview Semantic statistics

Conor McBride

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

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

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 Word statistics

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

Entity relationships Subject–Predicate–Object triples

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

These clusters group vocabulary that occurs around closely connected concepts in the source material.

    Connections between topic areas Semantic bridges

    Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

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