Joel Spencer

Silver Professor; Professor of Mathematics and Computer Science

1966 …2019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Weighted list of dominant concepts in the person's research.

  • 3 Similar Profiles
Random Graphs Mathematics
Graph in graph theory Mathematics
Coloring Engineering & Materials Science
Probabilistic Methods Mathematics
Subgraph Mathematics
First-order Mathematics
Hypergraph Mathematics
Game Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1966 2019

Existential monadic second order logic on random rooted trees

Holroyd, A. E., Levy, A., Podder, M. & Spencer, J., Jan 1 2019, In : Discrete Mathematics. 342, 1, p. 152-167 16 p.

Research output: Contribution to journalArticle

Monadic Second-order Logic
Random Trees
Rooted Trees
Coloring
Finiteness

First order probabilities for Galton-Watson trees

Podder, M. & Spencer, J., Jan 1 2017, A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. Springer International Publishing, p. 711-734 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Galton-Watson Tree
Poisson distribution
First-order
Quantifiers
First-order Logic

Galton-watson probability contraction

Podder, M. & Spencer, J., 2017, In : Electronic Communications in Probability. 22, 20.

Research output: Contribution to journalArticle

Contraction
Equivalence class
Siméon Denis Poisson
Fixed point
Game

Bounded quantifier depth spectra for random graphs

Spencer, J. & Zhukovskii, M. E., Jun 6 2016, In : Discrete Mathematics. 339, 6, p. 1651-1664 14 p.

Research output: Contribution to journalArticle

Quantifiers
Random Graphs
Zero-one Law
First-order
Zero

On the Length of a Random Minimum Spanning Tree

Cooper, C., Frieze, A., Ince, N., Janson, S. & Spencer, J., Jan 1 2016, In : Combinatorics Probability and Computing. 25, 1, p. 89-107 19 p.

Research output: Contribution to journalArticle

Minimum Spanning Tree
Expected Value
Complete Graph