| Jonathan W. Moody (picture) | |
|---|---|
| office | WeH 3707 |
| 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 |
| jwmoody (at) cs * cmu * edu | |
| pgp | keys |
ResearchDeveloping 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. |
PublicationsSee publications page for a listing of some (draft) manuscripts and slides from talks. |
About MeI 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. |
ScheduleSee my .plan file. |