Jay McCarthy

About Me

I am currently a Ph.D. student at Brown University in the Computer Science department. I am working with Shriram Krishnamurthi. I am an NSF Graduate Research Fellow.

I graduated from the University of Massachusetts at Lowell where I studied computer science, mathematics, and economics.

Research Interests

I am interested in applying programming languages research techniques to cryptographic protocols and the Web, as well as other areas of security and systems. I am also very interested in theorem provers and program verification.

Publications

J. McCarthy, J. D. Guttman, J. D. Ramsdell, and S. Krishnamurthi. Compiling cryptographic protocols for deployment on the Web. In World Wide Web, pages 687–696, 2007. (Details)
S. Krishnamurthi, P. W. Hopkins, J. McCarthy, P. T. Graunke, G. Pettyjohn, and M. Felleisen. Implementation and Use of the PLT Scheme Web Server. Higher-Order and Symbolic Computation, 2007. (Details)
J. McCarthy and S. Krishnamurthi. Interaction-safe state for the Web. In Scheme and Functional Programming, September 2006. (Details)

Projects

Current

CPPL: The Cryptographic Protocol Programming Language. A role-based language for designing protocols in the strand space model.
WPPL: The Whole-Protocol Programming Language. A global language for designing protocols in the strand space model.
The PLT Web Server: I am responsible for further development of the PLT Web Server. It is available through the standard distribution of PLT Scheme. Please direct bug reports through the regular channels.

Past

The Continue Conference Manager: Continue is a web application for paper submissions, reviews, and PC meetings. It has been superseded by Continue 2.0.
Resume Faculty Application Server: Resume is the Continue of application servers. Now rewritten in Flapjax.

Personal

I have a blog. I am married to Elizabeth Day McCarthy. Our wedding album is pretty awesome. We are both members of The Church of Jesus Christ of Latter-day Saints.

Libby and Jay near Salt Lake City Temple reflecting pool

Contact Information

Email: jay . mccarthy @ gmail . comMobile: (508) 517-2874
Office: (401) 863-7667


U.S. Post	FedEx Address	Physical
Jay A. McCarthy Department of Computer Science Brown University, Box 1910 Providence, RI 02912-1910	Jay A. McCarthy Department of Computer Science Brown University 115 Waterman Street, FOURTH Floor Providence, RI 02912 +1 401-863-7600	Room 527 Department of Computer Science Brown University 115 Waterman Street, (a.k.a. the CIT,) 5th Floor Providence, RI 02912