|
[Google -- mail -- bookmarks -- docs -- scholar]
[Berry -- cs -- moodle -- mail -- vw -- exweb]
[MapQuest -- Amazon -- Ebay -- WorldCat]
[DBLP -- MathWorld -- LNCS]
[Citeseer -- ACM Portal]
[Java -- API -- Tutorial]
[Flint -- Coq -- Twelf]
|
[Google -- mail -- bookmarks -- docs -- scholar] [Berry -- cs -- moodle -- mail -- vw -- exweb] [MapQuest -- Amazon -- Ebay -- WorldCat] [DBLP -- MathWorld -- LNCS] [Citeseer -- ACM Portal] [Java -- API -- Tutorial] [Flint -- Coq -- Twelf] |
Programming language design and implementation, security and reliability in systems engineering, type systems for common intermediate languages.
Courses |
Office Hours Fall 2009 - SCI 354B
 |
"In the spirit of educational growth and communication, Berry College offers personal Web space to its faculty and staff but does not approve or manage the content of such pages. The content of these pages is the sole responsibility of the individual and does not necessarily represent the opinions or policies of Berry College."