Anthony Cozzie

I am a postdoc in Computer Science at the University of Illinois in Urbana-Champaign and a member of the legendary King Research Group and Basketball Team.

Most of my research is at the intersection of Artificial Intelligence and Systems. I am particularly interested in how we model the world mathematically, where those models succeed and fail, and why humans do it so much better than machines.

CV Research Statement

Contact

The best way to reach me is via email at acoz@acoz.net. I usually check my email once a day in the evening.

Publications

Anthony Cozzie, Samuel T. King. "Macho: Writing Programs from Natural Language and Examples", University of Illinois Technical Report, August 2012. PDF BIB

Anthony Cozzie, Murph Finnicum, Samuel T. King. "Macho: Programming With Man Pages", Proceedings of the 2011 Workshop on Hot Topics in Operating Systems (HotOS 2011), May 2011. PDF PPT BIB

Anthony Cozzie, "Detecting and Combining Programming Patterns", Ph.D. Thesis. University of Illinois at Urbana-Champaign, 2011. PDF BIB

Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King. "Digging for Data Structures", 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008), December 2008. PDF PPT MP3 BIB

Samuel T. King, Joseph Tucek, Anthony Cozzie, Chris Grier, Weihang Jiang, Yuanyuan Zhou. "Designing and implementing malicious hardware", First USENIX Workshop on Large-Scale Exploits and Emergent Threats (LEET '08), April 2008. Award Paper. PDF BIB

Robert Hyatt and Anthony Cozzie, "The Effect of Hash Signature Collisions in a Chess Program". Journal of the International Computer Games Association (ICGA 2005): 131-139. HTML BIB

Chetan Patel, Anthony Cozzie, Herman Schmit, Lawrence T. Pileggi, "An architectural exploration of via patterned gate arrays". International Symposium on Physical Design (ISPD 2003): 184-189. PDF BIB

Personal Stuff

I am the captain, spiritual leader, and organizing force behind the Illinois Computer Science basketball team, The Bitbucket.

I am the author of Zappa, a program that plays chess. It won the World Computer Chess Championship in 2005, but I gradually stopped working on it to focus on my PhD.

I can fly! but sadly I'm currently grounded - too many other things to do right now!