George Kenison

George Kenison

About Me

I am an Assistant Professor in the Department of Computer Science at Maynooth University.

My academic interests lie in computational aspects of Algebraic Dynamical Systems and their applications in Verification and Program Analysis. My research primarily investigates the boundary between decidable and undecidable problems.

forename.surname@mu.ie

Interests
  • Theory of Computation
  • Algebraic Dynamical Systems
  • Program Analysis
  • Automated Verification
Education

  • PhD in Mathematics, 2017

    University of Warwick

  • Masters of Mathematics, 2013

    University of Warwick

Publications and Preprints

On Word Representations and Embeddings in Complex Matrices
P. C. Bell, G. Kenison, R. Niskanen, I. Potapov, P. Semukhin
PDF Cite DOI arXiv
On the Positivity Problem for second-order holonomic sequences
G. Kenison, O. Klurman, E. Lefaucheux, F. Luca, P. Moree, E. C. Sertöz, J. Ouaknine, M. A. Whiteland, J. Worrell
PDF Cite
Determination Problems for Orbit Closures and Matrix Groups
R. Ait El Manssour, G. Kenison, M. Shirmohammadi, A.Varonka, J. Worrell
PDF Cite DOI arXiv
On the growth of hypergeometric sequences
G. Kenison, J. Konieczny, F. Luca, A. Scoones, M. Shirmohammadi, J. Worrell
Cite arXiv
Simple Linear Loops: Algebraic Invariants and Applications
R. Ait El Manssour, G. Kenison, M. Shirmohammadi, A. Varonka
PDF Cite DOI arXiv
The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
G. Kenison
PDF Cite DOI arXiv
(Un)Solvable Loop Analysis
D. Amrollahi, E. Bartocci, G. Kenison, L. Kovács, M. Moosbrugger, M. Stankovič
Cite DOI arXiv
Linear Loop Synthesis for Quadratic Invariants
S. Hitarth, G. Kenison, L. Kovács, A. Varonka
PDF Cite DOI arXiv
Positivity Problems for Reversible Linear Recurrence Sequences
G. Kenison, J. Nieuwveld, J. Ouaknine, J. Worrell
PDF Cite DOI
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
G. Kenison, K. Nosan, M. Shirmohammadi, J. Worrell
PDF Cite DOI arXiv
From Polynomial Invariants to Linear Loops
G. Kenison, L. Kovács, A. Varonka
PDF Cite DOI arXiv
Solving Invariant Generation for Unsolvable Loops
D. Amrollahi, E. Bartocci, G. Kenison, L. Kovács, M. Moosbrugger, M. Stankovič
Cite DOI arXiv
On the Skolem Problem for Reversible Sequences
G. Kenison
PDF Cite DOI dagstuhl
On Positivity and Minimality for Second-Order Holonomic Sequences
G. Kenison, O. Klurman, E. Lefaucheux, F. Luca, P. Moree, J. Ouaknine, M. A. Whiteland, J. Worrell
PDF Cite DOI dagstuhl
On the Skolem Problem and prime powers
G. Kenison, R. Lipton, J. Ouaknine, J. Worrell
PDF Cite DOI arXiv
Statistics in conjugacy classes in free groups
G. Kenison, R. Sharp
PDF Cite DOI arXiv
Orbit counting in conjugacy classes for free groups acting on trees
G. Kenison, R. Sharp
PDF Cite DOI arXiv

Slides and Talks

Decision Problems, Recurrence Sequences, and Continued Fractions
Mini-course at the Simons Semester: Continued fractions, fractals, ergodic theory and dynamics. Institute of Mathematics of the Polish Academy of Sciences
May 8, 2026
Simons Semester lecture slides lecture notes