Paul Callaghan
From Wikipedia, the free encyclopedia
Dr. Paul Callaghan is a lecturer in the Department of Computer Science at Durham University.
Paul Callaghan completed both his B.Sc. and his Ph.D. evaluating LOLITA and other related natural language processing systems at the University of Durham. In 1999 he was appointed as a lecturer within Durham University, where he continues to teach in the Department of Computer Science. He is particularly active as a promoter of functional programming, especially Haskell.
From 1997 to 1999, Callaghan was a Research Assistant under Prof. Zhaohui Luo on grants involving Type Theory. The first was on studying Mathematical Vernacular for expression of theorems and proofs, then a second grant on Subtyping, Inheritance and Reuse. During this work, he developed the Plastic proof assistant, which is used as a testbed for research on Logical Frameworks and Coercive Subtyping.
Current research interests include dependently-typed functional programming (especially in Epigram), abbreviation mechanisms in type theory, use of type theory to build domain-specific reasoning tools, and the parsing of ambiguous grammars and their applications.
He should not be confused with noted New Zealand nanotechnitian and member of the New Zealand Order of Merit of the same name.
