Logic in computer science. Logical rules that can be used to reason about software systems and computer programs. Prorgramming language Epigram, which enables programmers to express properties of programs. Quantum programming.
Dr Altenkirch contributes to two blogs, FP Lunch and Nottingham FP Lab Blog.
For more information about Dr Altenkirch please visit his website.
Dr Altenkirch
The University of NottinghamYANG Fujia BuildingJubilee CampusWollaton Road Nottingham, NG8 1BB
telephone: +44 (0) 115 951 5798 email: pressoffice@nottingham.ac.uk