Dr Thorsten Altenkirch

 
Name
Dr Thorsten Altenkirch
School
School of Computer Science 
Tel
+44 (0) 115 846 6516, +44 (0) 7941 398649
Email

Expertise summary

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 Thorsten Alterkirch

Areas of expertise


Social media

Facebook

Dr Altenkirch

Linkedin

Dr Altenkirch

Google Scholar 

Dr Altenkirch

Media Relations - External Relations

The University of Nottingham
C Floor, Pope Building (Room C4)
University Park
Nottingham, NG7 2RD

telephone: +44 (0) 115 951 5798
email: pressoffice@nottingham.ac.uk