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.
The University of NottinghamC Floor, Pope Building (Room C4)University Park
Nottingham, NG7 2RD
telephone: +44 (0) 115 951 5798
Connect with the University of Nottingham through social media and our blogs.
Campus maps | More contact information | Jobs