Josef Pohl

CV

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

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 Dissertation Projects
Formalized monads and extraction of monadic programs from Nuprl and Constructive Type Theory. Development of tactic systems to develop proofs that may use monads to generate side effects in a purely functional language Meta-programming tools which facilitate the creation of abstract data types and programming structures in a theorem prover, common functions, and create proofs of correctness.

Investigations into "practical" dependently typed programming with Agda

Recent Publications
Constructive Membership Predicates as Index Types. James Caldwell and Josef Pohl. ( pdf)
Publications and Tech reports are available here

Other websites of interest
Formal Methods group at Langley
SRI's PVS information
NUPRL

Recent Classes Taught
FALL 2009
1030 Introduction to Programming(PDF Syllabus)

SPRING 2009
3011 Software Design

FALL 2008
1010 Introduction to Programming

SPRING 2008
4780 Principles of Programming Languages

Other mind numbing drivel -- Or the stuff I do when I am not sitting in my office.
I am a member of the Medicine Bow Nordic Ski Patrol . Come ski with us.
I like to think I can skate ski and when I go out to flail around, it is on the trails wonderfully groomed by the Medicine Bow Nordic Association, MBNA .

I also like to run , and run, and run for great causes like Team In Training .

I also enjoy kayaking, climbing, and generally just walking around.

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

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