| Georg Rock |
|
|
Dr. Georg Rock Senior Software Engineer DFKI GmbH Stuhlsatzenhausweg 3 D-66123 Saarbrücken Germany Tel: +49 681 302 5348 Fax: +49 681 302 2235 Building 43.8 Room No. +1.20 email: rock@dfki.de | 
|
Georg Rock has done research in the field of automated theorem proving. He has developed the clause normal form translator FLOTTER. He is currently working in the project VSE to make automated deduction feasible for formal program development.
