RyanFlannery

Currently I am a full-time graduate student at the University of Cincinnati pursuing a Ph.D. in Computer Science under the guidance of Professor John Schlipf. more...

Currently I am a full-time graduate student at the University of Cincinnati pursuing a Ph.D. in Computer Science under the guidance of Professor John Schlipf.

My research areas are finite model theory & descriptive complexity, and abstract state machines, working towards new methods of static analysis.

I'm also an active open source developer, as you can see here.

less...