This page has moved to This page is kept for archival purposes only.

Kevin O'Neill

Rorohiko Ph.D. Candidate
Computer Science Department -- Cornell University
Office: 322 Upson Hall
Phone: 607-255-3790
E-mail: "oneill" + ""

[Recent] [Research] [Links]
Search Google:


In August I am starting a full-time job with Amazon.

Last semester I was the TA for CS513: System Security.

In 2005 I was an intern at Google in Mountain View, California.

In 2004 and 2005 I taught CS113: Introduction to C Programming.


My advisor is Joseph Halpern. With him, and with several other graduate students here at Cornell, I'm studying formal methods for analyzing computer security.

In my undergraduate thesis work at The University of British Columbia, I studied stochastic search methods for dynamic satisfiability problems. I got to work with really great people like Holger Hoos, Alan Mackworth, and David Poole.

I also did some actual hacking while I was at UBC: check out CIspace, a set of on-line applets for teaching people about artificial intelligence.

I spent the summer of 2002 as an intern at the Palo Alto Research Center.

Want to find all the maximal cliques or maximal independent sets of a given graph or matrix? I implemented the classic algorithm of Tsukiyama, Ide, Ariyoshi, and Shirakawa. The C implementation can be found here. (To former CS113 students, I apologize for the use of fscanf!) The source code is copyrighted under the terms of the GNU General Public License. Copyright © 2003 Kevin O'Neill.


Copyright Notice


You should fish for walleye at Holinshead Lake.

I was once a voting member of the GPSA.

Cornell Cinema shows good movies. So does Cinemapolis.

CBC Radio is a fine Canadian radio establishment, though I miss the good ol' days of Gzowski, Enright, Sinclair, and Gabereau. These days I spend more of my time listening to This American Life from WBEZ Chicago.

Last updated July, 2006