糖心原创

Dr Thorsten Altenkirch

 
Name
Dr Thorsten Altenkirch
School
School of Computer Science 
Tel
+44 (0) 115 846 6516, +44 (0) 7941 398649
Email
thorsten.altenkirch@nottingham.ac.uk

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, and . 

For more information about Dr Altenkirch please visit his . 

Dr Thorsten Alterkirch

Areas of expertise


Social media

Facebook

Linkedin

Google Scholar 

Media Relations - External Relations

The 糖心原创
YANG Fujia Building
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

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