Gert Smolka

Gert Smolka

Saarland University Computer Science
Gert Smolka    Professor of Computer Science

smolka at cs.uni-saarland.de

Saarland University
Saarland Informatics Campus E1 3
66123 Saarbrücken
Germany

Office: Room 514 in E1 3 (Campus Map)
+49 (681) 302-5311

Assistant

Research: Computational Logic, Interactive Theorem Proving, Programming Languages

Apply to Saarbrücken Graduate School of Computer Science

Textbook, under construction:
Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant

Textbook, 2007:
Programmierung - eine Einführung in die Informatik mit Standard ML
English version planned for 2022

Making the simple complicated is commonplace; making the complicated simple, awesomely simple, that's creativity. -- Charles Mingus

Legal notice, Privacy policy