| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 12 Sep 2025 10:41:45 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"68c3f8e9-b1f1"
expires: Sun, 18 Jan 2026 04:12:04 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: DE2F:A69B1:18B5AB:1D44C0:696C5B38
accept-ranges: bytes
age: 0
date: Sun, 18 Jan 2026 04:02:04 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210062-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768708924.384816,VS0,VE221
vary: Accept-Encoding
x-fastly-request-id: dce3a1a0c51cc3f319ab3ff8cf60222572883fcd
content-length: 8516
George Kenison
About Me
My academic interests lie in computational aspects of Algebraic Dynamical Systems and their applications in Verification and Program Analysis. My research advances scientific frontiers in the Theory of Computation through the design and analysis of algorithms.
Download my CV.
Interests
- Theory of Computation
- Computational Complexity
- 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
G. Kenison,
J. Konieczny,
F. Luca,
A. Scoones,
M. Shirmohammadi,
J. Worrell
(2025).
On the growth of hypergeometric sequences.
R. Ait El Manssour,
G. Kenison,
M. Shirmohammadi,
A. Varonka
(2025).
Simple Linear Loops: Algebraic Invariants and Applications.
Proceedings of the ACM on Programming Languages, POPL'25.
R. Ait El Manssour,
G. Kenison,
M. Shirmohammadi,
A.Varonka,
J. Worrell
(2024).
Determination Problems for Orbit Closures and Matrix Groups.
G. Kenison
(2024).
The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters.
International Colloquium on Automata, Languages, and Programming, ICALP ‘24.
D. Amrollahi,
E. Bartocci,
G. Kenison,
L. Kovács,
M. Moosbrugger,
M. Stankovič
(2024).
(Un)Solvable Loop Analysis.
Formal Methods in Systems Design.
S. Hitarth,
G. Kenison,
L. Kovács,
A. Varonka
(2024).
Linear Loop Synthesis for Quadratic Invariants.
International Symposium on Theoretical Aspects of Computer Science, STACS ‘24.
G. Kenison,
J. Nieuwveld,
J. Ouaknine,
J. Worrell
(2023).
Positivity Problems for Reversible Linear Recurrence Sequences.
International Colloquium on Automata, Languages, and Programming, ICALP ‘23.
G. Kenison,
K. Nosan,
M. Shirmohammadi,
J. Worrell
(2023).
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.
International Symposium on Symbolic and Algebraic Computation, ISSAC ‘23.
G. Kenison,
L. Kovács,
A. Varonka
(2023).
From Polynomial Invariants to Linear Loops.
International Symposium on Symbolic and Algebraic Computation, ISSAC ‘23.
D. Amrollahi,
E. Bartocci,
G. Kenison,
L. Kovács,
M. Moosbrugger,
M. Stankovič
(2022).
Solving Invariant Generation for Unsolvable Loops.
International Static Analysis Symposium, SAS ‘22.
G. Kenison
(2022).
On the Skolem Problem for Reversible Sequences.
Mathematical Foundations in Computer Science, MFCS `22.
G. Kenison,
O. Klurman,
E. Lefaucheux,
F. Luca,
P. Moree,
J. Ouaknine,
M. A. Whiteland,
J. Worrell
(2021).
On Positivity and Minimality for Second-Order Holonomic Sequences.
Mathematical Foundations in Computer Science, MFCS `21.
G. Kenison,
O. Klurman,
E. Lefaucheux,
F. Luca,
P. Moree,
J. Ouaknine,
M. A. Whiteland,
J. Worrell
(2021).
On Inequality Decision Problems for Low-Order Holonomic Sequences.
G. Kenison,
R. Lipton,
J. Ouaknine,
J. Worrell
(2020).
On the Skolem Problem and prime powers.
International Symposium on Symbolic and Algebraic Computation, ISSAC `20.
G. Kenison,
R. Sharp
(2019).
Statistics in conjugacy classes in free groups.
Geom. Dedicata.
G. Kenison,
R. Sharp
(2017).
Orbit counting in conjugacy classes for free groups acting on trees.
J. Topol. Anal.
