Summary: Iktara in ConCert: Realizing a Certified Grid
Computing Framework from a Programmer's
BorYuh Evan Chang
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial fulfillment of the requirements
of the senior thesis program.
The ConCert Project is supported by the National Science Foundation under grant
ITR/SY+SI 0121633: ``Language Technology for Trustless Software Dissemination''.
With the vast amount of computing resources distributed throughout the world
today, the prospect of e#ectively harnessing these resources has captivated the