Faculty profile

Jeffrey Shallit

ResearcherSchool of Computer ScienceUniversity of Waterloo

This profile is built from public research funding records (CIHR, NSERC and SSHRC) and PubMed. We have not imported them from a University of Waterloo directory, so their courses and email address may be missing. Find their university profile.

Jeffrey Shallit

Researcher

School of Computer Science

University of Waterloo

Waterloo, Ontario, Canada

Supervision signals

Has led research grants, which requires an independent research appointment. Ask their department whether they supervise graduate students.
1 publication in the last five years, latest in 2025.
Senior (last) author on 1 recent paper, a sign of leading a research group.
Principal investigator on 9 research grants (9 NSERC), most recently in 2024.

These signals come from public records, including CIHR, NSERC and SSHRC funding decisions. Ask the professor or the graduate program whether they are taking new students.

Academic metrics

Publications

Collaborators

Grants

Publications by year

Counts cover the publications linked to this profile. Citations and the h-index appear when the source records them.

Profiles and links

Search on Google Scholar

Find them onX · LinkedIn · Bluesky · YouTube

Signals and details

Research

finite automata combinatorics on words number theory formal languages first-order logic automated theorem-proving decision procedure decidable theory

Latest papers

Rudin-Shapiro Sums Via Automata Theory and Logic.
Theory of computing systems · 2025 · senior author

All 1 publications

Latest funding

Novel Applications of Logic and Automata Theory to Number Theory and Combinatorics on Words
NSERC · 2024 · Principal investigator
$55,000
Computability and Decision Procedures for Number Theory and Combinatorics
NSERC · 2018 · Principal investigator
$288,000
Avoidability and Decidability in Formal Languages and Automata
NSERC · 2013 · Principal investigator
$180,000

All 11 grants and awards

Novel Applications of Logic and Automata Theory to Number Theory and Combinatorics on Words

Principal investigatorNSERC2024Discovery Grants Program - Individual

Principal investigators: Shallit, Jeffrey

Keywords: finite automata; combinatorics on words; number theory; formal languages; first-order logic; automated theorem-proving; decision procedure; decidable theory

$55,000

Computability and Decision Procedures for Number Theory and Combinatorics

Principal investigatorNSERC2018Discovery Grants Program - Individual

Principal investigators: Shallit, Jeffrey

$288,000

Avoidability and Decidability in Formal Languages and Automata

Principal investigatorNSERC2013Discovery Grants Program - Individual

Principal investigators: Shallit, Jeffrey

$180,000

Descriptional complexity, combinatorics on words, formal languages and number theory

Principal investigatorNSERC2008Discovery Grants Program - Individual

Principal investigators: Shallit, Jeffrey

$205,000

Descriptional complexity, combinatorics on words, and number theory

Principal investigatorNSERC2003Discovery Grants Program - Individual

Principal investigators: Shallit, Jeffrey

$215,000

Computing support for the symbolic computation group

Co-investigatorNSERC1999Research Tools and Instruments - Category 1 (<$150,000)

Principal investigators: Labahn, George

$34,041

Computational complexity, discriptional complexity and number theory

Principal investigatorNSERC1998Discovery Grants Program - Individual

Principal investigators: Shallit, Jeffrey

$165,880

Formal language and number theory and algorithmic number theory

Principal investigatorNSERC1994Discovery Grants Program - Individual

Principal investigators: Shallit, JeffreyOutlaw

$104,000

Algorithms in number theory and number-theoretic aspects of formal la nguages; to support visit by C.E. Bach, Computer Sciences Dept., University of Wisconsin, USA

Principal investigatorNSERC1993Foreign Researcher Awards (H)

Principal investigators: Shallit, JeffreyOutlaw

$6,800

Symbolic and numeric algorithms for mathematical computation

Co-investigatorNSERC1993Collaborative Research and Development Grants

Principal investigators: Geddes, Keith

$855,802

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Something wrong or missing on this profile? Suggest a correction

Jeffrey Shallit

Research

Latest papers

Latest funding

Rudin-Shapiro Sums Via Automata Theory and Logic.

Novel Applications of Logic and Automata Theory to Number Theory and Combinatorics on Words

Computability and Decision Procedures for Number Theory and Combinatorics

Avoidability and Decidability in Formal Languages and Automata

Descriptional complexity, combinatorics on words, formal languages and number theory

Descriptional complexity, combinatorics on words, and number theory

Computing support for the symbolic computation group

Computational complexity, discriptional complexity and number theory

Formal language and number theory and algorithmic number theory

Algorithms in number theory and number-theoretic aspects of formal la nguages; to support visit by C.E. Bach, Computer Sciences Dept., University of Wisconsin, USA

Symbolic and numeric algorithms for mathematical computation

Frequent collaborators

Narad Rampersad