Josef Pohl

I am currently a Doctoral candidate in the
Department of Computer Science at
The Univeristy of Wyoming

Dissertation Research
In conjunction with Dr. James Caldwell, we are investigating membership predicates as index types into generic recursive structures. We are working on the idea that a simple membership predicate under a constructive interpretation is exactly the set of indexes into a structure. The evidence for the validity of membership predicate is a path to the location in the structure. We have fully developed this idea for trees and extended membership into a generalized fully expressive dependent predicated membership.

Additional Projects
Formalized monads and extraction of monadic programs from Nuprl and Constructive Type Theory.

Recent Publications
Constructive Membership Predicates as Index Types. James Caldwell and Josef Pohl. pdf

Past projects and miscellaneous information
Summer 2004
NASA Langley Research Center, Hampton, VA -- Visitor with NIA

Work: Continuing development of Hypatheon, a database of formal deductive knowledge. Research details forthcoming. A side project done in parallel with the database work is to work on small algorithm specification in PVS which will hopefully be of assistance to Lee Pike and Paul Miner in the SPIDER project (details available at Langley Formal Methods group listed below)

Summer 2003 Jet Propulsion Laboratory, Pasadena, CA -- intern

Work: Designing and implementing an algorithm and code to do stream (river) extraction on the Shuttle RADAR Topography Mission dataset. The implementation is designed to do stream extraction on a continental scale using the Information Power Grid (IPG) maintained by NASA's Ames Research Center. This project is one step towards proving that grid computation is a viable scientific tool.

Publication: Curkendall, Fielding, Cheng, Pohl "A Computational-Grid Based System for Continental Drainage Network Extraction Using SRTM Digital Elevation Models". (To appear in the proceedings of the HPSECA/IPCC conference, Taiwan, September 2003) pdf

Other websites of interest
Formal Methods group at Langley
SRI's PVS information
NUPRL
CLASSES SPRING 2008
4780 Principles of Programming Languages

Other mind numbing drivel

4093 Engineering Hall
University of Wyoming
Laramie, Wyoming
82071-3295

SC

email: jpohl - *at* - cs.uwyo.edu