George Kenison

I am an Assistant Professor in the Department of Computer Science at Maynooth University. My academic interests include: computability theory, dynamical systems, and program analysis and verification.