Carsten Schürmann

Submitted by admin on Sun, 2014-12-07 21:51
Profile picture: 
Email: 
carsten@itu.dk
Website: 
http://www.itu.dk/people/carsten/
Office: 
4C13
Phone number: 
+45 7218 5282
List of interests: 
Logic in Computer Science
Logical Frameworks
Type Theory
Theorem Proving
Computational Logic
Functional Programming Languages
Logic Programming Languages
Job: 
Associate Professor