Carsten Schürmann
Department of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
U.S.A.
carsten@cs.cmu.edu
+1.412.268.3069
+1.412.268.5576 (FAX)
|
|
Home |
|
|
Publications |
|
|
Organization |
|
|
Projects |
Projects
I spend all my time working on the Twelf project.