The BYU Computer Science Department is pleased to welcome its newest faculty member, Jay McCarthy.  Professor McCarthy received bachelors degrees from the University of Massachusetts at Lowell in Mathematics and Computer Science, with Economics as a minor.  After his graduation in 2005, he entered the PhD program of the Computer Science Department at Brown University, where he worked with Shriram Krishnamurthi. While at Brown, he received an NSF Graduate Research Fellowship and worked in collaboration with the MITRE Corporation. He is a member of the multi-university research group, PLT, that produces PLT Scheme and the DrScheme programming environment.

Professor McCarthy's research interests include applying programming languages research techniques to cryptographic protocols and the Web, as well as other areas of security and systems.  He is also very interested in theorem provers and program verification.  He will share his love for
programming languages as he teaches CS 330 (Concepts of Programming Languages) in Fall 2008.

Professor McCarthy and his wife, Elizabeth, welcomed their first son, John "Jack" Day McCarthy into their family on September 8, 2008. When not child-proofing their house, Jay and Elizabeth enjoy extreme cooking and playing board games like Arkham Horror.