Research in type theory, advanced functional programming, machine learning, and applications.

See current research.

Operation Crusader Map Portion of the map of the 1978 GDW game Operation Crusader. Game design by Frank Chadwick and map art by Paul Richard Banner.