Contact

Jonathan W. Moody (picture)
office WeH 3707
mail School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
phone (work) 412-268-5942
phone (home) 412-521-6176
fax (shared) 412-268-5576
email jwmoody (at) cs * cmu * edu
pgp keys

Research

Developing a typed calculus for distributed computation based on constructive S4 modal logic with necessity []A and possibility <>A. Logical necessity corresponds to mobility and possibility to (remote) locality. I am working out the consequences of this approach, including the implications for design of marshalling mechanisms, and the interaction of [] and <> type constructors with polymorphism and abstract types.

For more details see my thesis proposal.

Publications

See publications page for a listing of some (draft) manuscripts and slides from talks.

About Me

I am a 4th year grad student in SCS. My advisor is Frank Pfenning. Recreational activities I enjoy include: backpacking and caving with the CMU Explorers Club, scuba diving, raquetball, guns & shooting, snow skiing (now that I am near the Appalachians).

My parents live in Eureka, KS, and I have two younger brothers. One of these graduated in May 2003 from the Naval Academy in Annapolis, MD. The other is an undergraduate at Wichita State University in Kansas. I received my undergraduate degree from the University of Oklahoma.

Schedule

See my .plan file.


Valid HTML 4.01!