Pictures of Participants in the JML Project
The following pictures are a taken of some of the participants in the JML project. More pictures are available from the participants's web sites.
If you have a picture of your research group or some other picture that you'd like to share we'd be happy to have it on this page. Assuming you are a developer on the sourceforge.net jmlspecs project, you can update the CVS for this web page by checking out the module named web and commiting changes to the pictures.shtml file. You can either put in a link to a picture on your group's web site, or add the picture itself to the images directory. If you add the picture itself, use the -kb flag, so it's binary in CVS.
JML Winter School, February 23-24, 2008
Participants at the JML Winter School, held at the Harris Center on the Campus of the University of Central Florida, on February 23-24, 2008. From left to right, Dermot Cochran, Gary T. Leavens, Amritam Sarcar, Steve Shaner, Ghaith Haddad, Daniel Zimmerman, Robby, and Jooyong Lee. Photo courtesy of Perry James.
Participants at the JML Winter School, February 23-24, 2008. From left to right, Gary T. Leavens (standing), Amritam Sarcar, Steve Shaner (standing), Ghaith Haddad, Perry James (standing), Daniel Zimmerman, Robby, and Jooyong Lee. Photo courtesy of Perry James.
Attendees at the JML Winter School, February 23-24, 2008. From left to right, Dermot Cochran, Daniel Zimmerman, Robby, Jooyong Lee, Patrice Chalin, Gary T. Leavens, Steve Shaner, Amritam Sarcar, and Ghaith Haddad. Photo courtesy of Perry James.
The teachers at the JML Winter School, February 23-24, 2008, Perry James (left) and Patrice Chalin (right). Photo courtesy of Gary T. Leavens.
Robby, with his new Macbook Air, and Jooyong Lee at the JML Winter School, February 23-24, 2008. Photo courtesy of Gary T. Leavens.
Ghaith Haddad (left) and Amritam Sarcar (right) at the JML Winter School, February 23-24, 2008. Photo courtesy of Gary T. Leavens.
Esc/Java2 Developers
Joesph Kiniry (left) and David R. Cok (right) checking a slice of carrot cake in a brewpub in Seattle, in 2006. Photo courtesy of Perry James.
David R. Cok
Pictures of David R. Cok, an independent contributor, in between Gary T. Leavens (on the left), and Curtis Clifton (on the right), taken December 1, 2004.
ISU Group, 2002
The ISU group in 2002 (without Clyde Ruby). From left to right: Yoonsik Cheon, George Ushakov, Curtis Clifton, Gary T. Leavens, Tongjie Chen.
Last modified Saturday, March 15, 2008.