Rick Murphy has over 25 years in software architecture and engineering in the private sector, public sector and academia. Rick currently works in higher order functional programming languages and logics and has a particular interest in category theory, type theory and proof theory.
Today defense, intelligence and civilian agencies are focused on cyber security challenges. An informal analysis of emerging capabilities in the DARPA Open Catalog indicates that type safety is a common requirement for increased assurance levels in these agencies. Common requirements… Read More
Today defense, intelligence and civilian agencies are focused on cyber security challenges. Early results seem conflicting. While media reports are surfacing of unhackable drones, government programs report shortages of qualified applicants to fill cyber security positions. As exploits proliferate and… Read More